[cmake] Synchronize

13 jobs for devel in 18 minutes and 29 seconds (queued for 31 minutes and 3 seconds)