On Thu, 2016-06-23 at 00:32 +0000, Zheng, Lv wrote: > Could you try to boot it with one of the following parameters or both of the > parameters: > acpi=rsdt > Or > acpi_force_32bit_fadt_addr
Box was unimpressed by either or both. > Please also send us the acpidump/dmidecode outputs for confirmation. (offlist) -Mike