Attempt to fix kernel building