Kernel.mk cleanup.
* These are not kernel toolchains, they are platform toolchains,
  lets get rid of this before some unwanted derpage creeps in.

Change-Id: I8bcd2e4b37d96dc058827397c77bb7d65b9f58e8