cmake: be explicit about default option value

13 jobs for update_mo_kind in 15 minutes and 12 seconds (queued for 3 minutes and 26 seconds)