I have now reported this bug in the ACPI section at bugzilla.kernel.org. The report is here: http://bugzilla.kernel.org/show_bug.cgi?id=8959