A kernel extension and DSDT patches to enable debug tracing from ACPI code (DSDT) to system.log