fix kernel building in darwin