Build kernel with the default toolchain.

Change-Id: I52b937eb603b8619c892f28f714ed240281e1f88
Signed-off-by: David Rodero <david@codiguiel.net>