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