[SeaBIOS] [PATCH 1/2] fw/pciinit: factor out pci resource allocation