Raspberry Pi adaptation

Initial Raspberry Pi adaptation, let's see if it works.
Add hawaii-shell to the package set

Maui base configuration now has hawaii-shell.