fix kernel includes