No this doesn't work with HBSD. I also had a talk to franco 2 years ago when I planned to use commercial AV products via Linux ABI
64-bit Linux binaries should run fine if linux64.ko is loaded. You will need to disable ASLR for that particular Linux binary (use hbsdcontrol for that).
As I read, Adding (FreeBSD, HardenedBSD, ..) repositories in /usr/local/etc/pkg/repos/ manually is not supported and usually lead to unexpected issues