Fix inline kernel building

Signed-off-by: Michael Bestas <mikeioannina@gmail.com>

Change-Id: I7db8519b0f1299b0e790128d7cd1c4b5b2d60b8a