Preliminary support for ARM/Raspberry Pi