Patched toolchain for inline kernel building