[RFC PATCH 3/4] ARM64: Big Endian fixes for kernel booting