Kernel.mk file edited as per the GCC Toolchain