[SeaBIOS] [RFC PATCH v2] i386: Add _PXM ACPI method to CPU objects