ARM: NO_HZ support

This is an update of the initial patch from Daniel Walker
and Kevin Hilman.

Signed-off-by: Dirk Behme <dirk.behme_at_gmail.com>