fix inline kernel build