Re: [SeaBIOS] [PATCH] pci: re-add isa bridge setup