Added timer vector to LiteRTOS config.