[coreboot] 64 UEFI payload boot fail on Denverton platform but 32 UEFI payload works

[Melissa Yi]

Hi
   I want to know whether coreboot supports 64bit UEFI payload on denverton
platform?
   Attached the fail log.

Thanks.

Regards,
Melissa Yi