OTTO_WDT_PRESCALE_MAX
if (prescale > OTTO_WDT_PRESCALE_MAX)
max_tick_ms = otto_wdt_tick_ms(ctrl, OTTO_WDT_PRESCALE_MAX);