Correction: not sure if this is broken in HEAD in a hard kernel, but the whole cv_fdrestart mechanism is completely broken in a rump kernel so my tests are inconclusive. (Tested on an earlier current hard kernel and a todayish rump kernel.)