Make kernel able to build with Linaro O3 flags