just small mistake ;-)
use NovaTP GCC4.9 toolchain to build kernel

you need to have NovaTP (available on our GitHub)

you can also comment this line and compile using Google GCC if you wish
patcher: GCC4.8/4.9 support