ACPI : Use RSDT instead of XSDT by adding boot option of "acpi=rsdt"