[PATCH] increase PCIBIOS_MIN_IO on x86