defconfig'ed v4.13 does not boot on ThunderX

[Itaru Kitayama]

Hi,

defconfig'ed kernel v4.13 does not boot on ThunderX, leaving only
messages below:

EFI stub: Booting Linux Kernel...
EFI stub: Using DTB from configuration table
EFI stub: Exiting boot services and installing virtual address map...

Our HW is by GIGABYTE, the model is R150 T62 rev 100:

http://b2b.gigabyte.com/ARM-Server/R150-T62-rev-100#ov

The BIOS we're on is T43. Has anyone testing upstream kernels seen a 
similar
issue like this?

Itar