[RFC patch 05/11] cpuidle / davinci : use common ARM driver