Fix kernel inclusion