Thanks a lot Colin! My laptop now boots this kernel with "acpi_force_32bit_fadt_addr" override kernel parameter.
Thanks a lot Colin! My laptop now boots this kernel with "acpi_force_ 32bit_fadt_ addr" override kernel parameter.