Set with_cmocka=no by default

(cherry picked from commit ed8000f3)
18 jobs for 351-disable-cmocka-by-default-v9_12 in 10 minutes and 22 seconds (queued for 7 seconds)