This bug is also triggered on x86 if the BIOS is set to not execute option ROMs on installed PCI/PCIe cards.