fix kernel building