Makefile: specify arch and toolchain (yes, i'm lazy)
Support build of the kernel with Linaro GCC toolchain 4.7

Change-Id: I3adf6c0053a23f0e1d0e7393f33618afb3cee085