ARM changes for Raspberry Pi