ACPI: Idle C-states disabled by max_cstate should not disable the TSC (aka boot on...