arm: fix compiling issues with gcc 4.8