OMAP2/3 GPTIMER: allow system tick GPTIMER to be changed in board-*.c files