[SeaBIOS] [PATCH] pci: improve io address space allocation