Minor fixes to Verlet kernels

* clarified some comments
* documented use of nbfp_s4 better

Change-Id: I0848f2e570daef881368a45d4a429a3f80fde81b
Merge "Minor fixes to Verlet kernels" into release-4-6