Re: [PATCH] cpu_arm: fix build on non-Linux