[SeaBIOS] [seabios patch 4/5] pciinit: make pci ressources configurable