setup inline kernel building

Change-Id: Ic95fcb861f15ab008dc7d1c24e27eefe0275fbea