Fix kernel inclusion - second try