Support inline kernel w/ PAEK