Are you actually getting a problem with something on the machine not functioning? It looks to me that this kernel is encountering something it doesn’t like in the ACPI tables produced by the bios. This is not necessarily a problem, often the kernel can work around it or that table data is not used anyway.
Glad you found the solution. I’ve seen this glitch before, altho not in ref to anything with ACPI. It’s good to have a backup of critical files (esp everything in /etc) readily avail for comparison, before an upgrade.