[SeaBIOS] Re: [PATCH] MP: fix mptable interrupt source generation for pci devices