Fixes for toolchains up to 4.7

Now the kernel can be built with modern hard-float toolchains, better than the 4.4 by Google. Tested & known to boot when built with Linaro 4.7 and 4.6 arm-linux-gnueabihf from Ubuntu repos.