Suponho que isso foi feito significativamente mais fácil pelo fato de que este é um sistema moderno com muito pouco equipamento legado.
Estou com a impressão de que os sistemas modernos transferiram o suporte PCI dos chipsets do rump (o que é incorreto, suspeito), então imaginei que os únicos dispositivos que ainda usavam IRQ deveriam ser o old school
Eu fui ao menu de configuração do UEFI e fiz o root - e descobri que a porta serial estava ativada. Desativar isso liberou uma interrupção de IRQ, eu acho, e a placa funcionou na reinicialização. Embora possa não funcionar em todas as situações, pode valer a pena desativar qualquer outra coisa legada no sistema, reinicializando e ligando-os novamente até que o dispositivo falhe.