use NovaTP GCC4.9 toolchain to build kernel