This helps the firmware to identify the kernel as 64bit image Signed-off-by: Khem Raj <raj.khem@gmail.com>