[Arm-netbook] Writing efficient C on ARM