P8Z77-V BIOS

What's the problem?

At Linux boot (kernel 4.13), these messages appear on the terminal:
ACPI Error: [DSSP] Namespace lookup failure, AE_NOT_FOUND (20170531/psargs-364)
ACPI Error: Method parse/execution failed \_SB.PCI0.SAT0.SPT0._GTF, AE_NOT_FOUND (20170531/psparse-550)
ACPI Error: [DSSP] Namespace lookup failure, AE_NOT_FOUND (20170531/psargs-364)
ACPI Error: Method parse/execution failed \_SB.PCI0.SAT0.SPT1._GTF, AE_NOT_FOUND (20170531/psparse-550)
ACPI Error: [DSSP] Namespace lookup failure, AE_NOT_FOUND (20170531/psargs-364)
ACPI Error: Method parse/execution failed \_SB.PCI0.SAT0.SPT0._GTF, AE_NOT_FOUND (20170531/psparse-550)
ACPI Error: [DSSP] Namespace lookup failure, AE_NOT_FOUND (20170531/psargs-364)
ACPI Error: Method parse/execution failed \_SB.PCI0.SAT0.SPT1._GTF, AE_NOT_FOUND (20170531/psparse-550)
ACPI Error: [DSSP] Namespace lookup failure, AE_NOT_FOUND (20170531/psargs-364)
ACPI Error: Method parse/execution failed \_SB.PCI0.SAT0.SPT3._GTF, AE_NOT_FOUND (20170531/psparse-550)
ACPI Error: [DSSP] Namespace lookup failure, AE_NOT_FOUND (20170531/psargs-364)
ACPI Error: Method parse/execution failed \_SB.PCI0.SAT0.SPT3._GTF, AE_NOT_FOUND (20170531/psparse-550)
They don't appear if I boot with previous kernels. Some people have seen this with recent BIOSes.
I run Xubuntu on 3 desktops and 2 laptops, 5 different motherboards, ranging in age from a couple of months to 10 years.
When I upgraded them all to Xubuntu 17.10 a couple of months ago only the P8Z77-V BIOS showed the problem with the new kernel (4.13). Apart from the error messages the system runs normally.

BIOS settings

Apart from enabling virtualisation for running VMware and saving the state as a new profile 'ncvp', I have made no changes to the supplied configuration. There is some debate over whether enabling virtualisation affects overclocking stability, but I have not had any problems for the several years I have been running VMware (and VirtualBox).

Should I update?

The general consensus seems to be 'No', so while my problem is purely cosmetic, perhaps I'll wait. The latest BIOS for the ASUS P8Z77-V motherboard is version 2104 dated 16 Sep 2013, so it's 4½ years old.