Comment # 7 on bug 1215436 from Stuart Rogers

I downloaded kernel-default-6.5.4-3.1.x86_64.rpm when it finished and it boots
OK when I use acpi=noirq, however when I remove quiet and acpi=noirq and add
boot_delay it waits a ling time before the messages start but they still go
through too quickly to really see, even when I used a delay of 100. I was not
sure what the devel and vdso kernels were for.

Is it worth tying the 6.6 kernel as mentioned in bug 1215328 to see if a
vanilla kernel still fails?