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

Reply via email to