[SeaBIOS] [PATCH 0/2] pci: skip pci resource allocation if instructed by platform