Aug 30 11:55:28 nibbler kernel: [ 0.186619] ACPI: EC: ASUSTek keeps feeding us with broken ECDT tables, which are very hard to workaround. Trying to use DSDT EC info instead. Please send output of acpidump to -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html