To be able to successfully compile the kernel for the ARM64 architecture we have to tweak the compiler-related files to be able to use the AArch64 GCC compiler. Signed-off-by: Carlo Caione <ccaione@baylibre.com>