Fix gcc warning.arm: Fix compilation error with gcc 4.5.2