Created attachment 128042 [details] dmesg_with_debug_options Sorry for the delay, I compiled my kernel with CONFIG_DEBUG_ACPI=y followed the steps that you mentioned.