Fix CID-1222222

Fixes 1222222 issue.

`xen.check.hvm` param was not being used.