timer: arm: idle is used when CONFIG_TICKLESS_KERNEL

Only mark idle parameter unused when building without TICKLESS_KERNEL
enabled.

Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>
1 file changed