Add "Remember to update distrib/sets..." lines (and NetBSD RCS IDs in
some cases).

Provide a minimal instruction/data cache synchronization C binding.
(The function has always been in the kernels as special trap #12).
In response to PR 4951 by Hauke Fath.