[SeaBIOS] [PATCH 4/6] pciinit: make pci ressources configurable