ARM: mach-at91: Add compile time option to choose proper timer