GCC 4.6.x miscompiling arm-linux (including Linaro GCC)