vigor: Kernel must build using 4.6 GCC.