Fix kernel compilation using gcc >=4.7

Thanks to Joël Bertrand for the patch.