Comment 25 for bug 638434

Just to summarize the available options as I understand it.

Maverick with no options at all doesn't boot/function without constant keypresses.
With intel_idle.max_cstate=0 the system boots and functions but with enough freezes to make activities like playing music a waste of time and the system generally gets stuck during shutdown and doesn't power off.
With nohz=off or setting the CPU to 'Always Low' in the BIOS the system functions normally but with reduced battery life or slower speed and reduced battery respectively.

Anyone else have different/better options?