Inline kernel building using hells Doctor