[PATCH] cpu_arm: fix build on non-Linux