Use 4.6 compiler for kernel

Change-Id: Ia2bd304b2c90f75f4158d9f46391f12c27230879