inline kernel building fixup