Going by the "failed to copy vbios to system memory" clue I ended up at https://bugzilla.kernel.org/show_bug.cgi?id=60829 where there is a kernel patch to work around an ACPI bug for this machine. I haven't tried it.
Going by the "failed to copy vbios to system memory" clue I ended up at https:/ /bugzilla. kernel. org/show_ bug.cgi? id=60829 where there is a kernel patch to work around an ACPI bug for this machine. I haven't tried it.