inline kernel build support

Change-Id: I2ade14581eea8556d981c7f6461b77b9b506cf40