Change in osmo-bsc[master]: paging: Improve calculate_timer_3113()