doc/nasmdoc.src: Update the number of sync points in docs