This reverts commit aedb328a. I have failed to make the new tests conditional to the presence of libfbsdvmcore.