On 12/09/2016 17:47, Phil Endecott wrote:
So that's a 4.2 kernel which seems to be using ACPI. Presumably this is backported, or something.
-- Mike Howard