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