I want to know whether coreboot supports 64bit UEFI payload on denverton platform?

Attached the fail log.

Thanks.

Regards,

Melissa Yi