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