Thanks for the help, as for a third kernel bug being hunted down (https://bugzilla.kernel.org/show_bug.cgi?id=196415), would it be possible to get a 4.13-rc3 kernel with CONFIG_ACPI_DEBUG turned on?
The patch in this case has been included in 4.13-rc3.
Should I create a new bug ?
Thanks for the help, as for a third kernel bug being hunted down (https:/ /bugzilla. kernel. org/show_ bug.cgi? id=196415), would it be possible to get a 4.13-rc3 kernel with CONFIG_ACPI_DEBUG turned on?
The patch in this case has been included in 4.13-rc3.
Should I create a new bug ?