[SeaBIOS] [PATCH 2/2] mptable: Use same PCI irqs as ACPI code.