updated acme++ platform so bootloader works