Configure inline kernel building

Change-Id: If4040e4eb173e31cffcd910076b0c1fc5049aa18