[RFC patch 06/11] cpuidle / at91 : use common ARM cpuidle driver