Nevermind, the kernel is configured correctly (I was thrown off by the grep cpu). It seems to be an ACPI issue.
Nevermind, the kernel is configured correctly (I was thrown off by the grep cpu). It seems to be an ACPI issue.