clocksource: Fix bug with max_deferment margin calculation