[Bug 436717] Dell Inspiron 531 - CPU locked to lowest available frequency ( SMP kernel only)