Hi, Almost sure nobody will have a solution, but for the sake of it, I'll document it here.
dmesg | grep -i error [ 0.004000] [Firmware Bug]: TSC ADJUST differs within socket(s), fixing all errors [ 0.196456] ACPI BIOS Error (bug): Failure creating [\_SB.INTS], AE_ALREADY_EXISTS (20180531/dswload2-316) [ 0.196461] ACPI Error: AE_ALREADY_EXISTS, During name lookup/catalog (20180531/psobject-221) [ 0.234643] ACPI BIOS Error (bug): Could not resolve [\SHAD._STA.SDS0], AE_NOT_FOUND (20180531/psargs-330) [ 0.234647] ACPI Error: Method parse/execution failed \SHAD._STA, AE_NOT_FOUND (20180531/psparse-516) [ 0.265882] ACPI BIOS Error (bug): Could not resolve [\SHAD._STA.SDS0], AE_NOT_FOUND (20180531/psargs-330) [ 0.265887] ACPI Error: Method parse/execution failed \SHAD._STA, AE_NOT_FOUND (20180531/psparse-516) [ 0.326959] ACPI BIOS Error (bug): Could not resolve [\SHAD._STA.SDS0], AE_NOT_FOUND (20180531/psargs-330) [ 0.326959] ACPI Error: Method parse/execution failed \SHAD._STA, AE_NOT_FOUND (20180531/psparse-516) [ 1.348312] ACPI BIOS Error (bug): Could not resolve [\SHAD._STA.SDS0], AE_NOT_FOUND (20180531/psargs-330) [ 1.348392] ACPI Error: Method parse/execution failed \SHAD._STA, AE_NOT_FOUND (20180531/psparse-516) (Not sure the first line is linked). Should I open a ticket in the BTS? Best Steve