Comment # 1 on bug 1180394 from Takashi Iwai

It's likely a bug of your BIOS/ACPI firmware, and kernel can't help much for
that.  Do you see any relevant kernel problem?  Otherwise this kind of BIOS bug
is harmless and can be ignored.