kernel: do not assume arch is arm

In the kernel.mk file the target architecture is
assumed to be ARM. This may not be true, so
it's changed to use the $(TARGET_ARCH) variable.

Change-Id: Ia9347a44fcfdc40846e1cd6626c4e574bd93b16f

Conflicts:
	core/tasks/kernel.mk