FreeBSD cleanup: mostly using VKI prefix in vki-freebsd.h