use HWTIMER_MAXTIMERS instead of ARCH_MAXTIMERS