To the VBOX team, maybe it helps tracking why VT-x doesn't work on startup ?

With regards to the SigReturn issue, it appears more frequent the lower kern.hz it set (in boot/loader.conf) => 50 will trigger it awful often; 1000 will triger it very rarely (for me), but slow down everything)
With VT-x, the sig-return is no longer an issue