[SeaBIOS] [PATCH 00/14] Clean up PCI BAR handling