GCC: use 4.9 for kernel