[Bug 264077] stuck at 800MHz on AC -- Dell D510 -- SMI