Hammerhead: inline kernel building