Re-enable runnable/a20 and runnable/cov2 on freebsd

They seem to work now.