d710: use 4.6 compiler for kernel