hpvminfo: Running on an HPVM host.
