[SeaBIOS] [PATCH 1/2] Split region allocation code from pci_bios_init_device()