re-enable custom toolchain for kernel

Change-Id: Iae348c5a69ceccf18b03967b1de0dff862daf122