[PATCH] ACPI: increase PCIBIOS_MIN_IO on x86