Bug#1054008: ACPI debugging

Booting with "quiet" seems to suggest that outdated BIOS firmware is the issue. genirq: Flags mismatch irq 0. 0080 (i801_smbus) vs. 00015a00 (timer) i801_smbus :00:1f.3: Failed to allocate irq 0: -16 ehci-pci :00:1d.0: Found HC with no IRQ. Check BIOS/PCI :00:1d.0 setup! ehci-pci

Bug#1054008: ACPI debugging

https://github.com/xanmod/linux/issues/396 this solution seems to work signature.asc Description: This is a digitally signed message part

Bug#1054008: Report bug under linux-image-amd64

if this is because BIOS is old. Regards, Navi