Re: [SeaBIOS] [PATCH] acpi: hide 64-bit PCI hole for Windows XP