arm: minor support for potentially building on Raspberry Pi