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