arm: fix builds with gcc 4.7