GSI Porting

Work in progress

For the time being, refer to the UBports porting notes on the generic system image (GSI) and Halium 9 porting.