add back 4.6 gcc for kernel