To expand the range of environments tested it would be useful if one of the x86 qemu machines was configured to do UEFI boots instead of BIOS.
This other bug is also about EFI and has more details. *** This bug has been marked as a duplicate of bug 5654 ***
Since main attention is on bug 5654, I'm marking this issue as verified duplicated.