[RFC patch 03/11] cpuidle / ux500 : use common ARM cpuidle driver