Toolchain for compiling our kernel