Use gcc 4.6 for kernel build

Change-Id: I6f4c51f3ffd357aaa0ffbc3648125fbc75371154