[SeaBIOS] [PATCH] pciinit: use the 32-bit MMIO address space preferred