Make HW timer for contiki rtimer configurable

... and configure osd platform to use timer 5. With the new
configuration we can use timer 3 for generating hardware PWM.