fix kernel inclusion