Disable tests for the kFreeBSD backend of Mirage.

I had to conditionally disable the bundled tests as the corresponding binaries cannot be built properly with the Mirage/kFreeBSD cross-compiler.  This change should not affect other cases.