Toolchain for kernel compilation