This is clearly a kernel bug, as the presented workaround changes the configuration of the kernel. Moving to the kernel. Possible fix is to set the configuration of the kernel appropriately by default.
This is clearly a kernel bug, as the presented workaround changes the configuration of the kernel. Moving to the kernel. Possible fix is to set the configuration of the kernel appropriately by default.