Attempt #1: inline kernel building fix [1/2]