Use the platform configuration
Merge remote-tracking branch 'gh/20bit' into 20bit
Added API for GPIO port multiplexer for MSP430
The memory model will set some of the flags