After having run System Update (which upgraded IME Software) made by Lenovo and Windows Update (which upgraded Windows 11 including its drivers) made by Microsoft, I still see the error messages in the Debian journal. (Some ACPI-related stuff also appears on the screen during boot, but it's a bit hard to see because this vanishes quickly.)
