Fix for inline kernel building

Change-Id: I34a771cfa6686c7883134a3bc2ee9802fe62321d