Fix kernel compilation with Linaro 4.10 - Credit to JustArchi