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