Re: [PATCH] ARM: mach-at91: Add compile time option to choose proper timer