Fix kernel building