Inline kernel building using hells-core

Change-Id: I3ea5ead5e3246d82ce69c43f7c03cb7387249d39