Ok, my first report on this was done a bit too hastily.. the problem
is there, but the cause is not that just a mere CIRCLEQ_HEAD is needed,
but that vfs_subr.c now sees the list of mounted filesystems is a circular
queue, while the rest of the kernel world thinks it's still a tail queue
(as defined in <sys/mount.h>). 

Well, anyway, I'm sure this has been fixed by now, and will be in the next
update.

Frank