[RFC patch 10/11] cpuidle / calxeda : use common ARM cpuidle driver