build: Inline kernel building as a buildtime task