Fixing kernel header files (this is Marionumber1)