[SeaBIOS] [PATCH] pciinit: make pci ressources configurable