[CORE] fix test in vmm_manager_vcpu_get_hcpu()

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[CORE] fail if no VCPU is created for a guest.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>
[TOOLS] add support for ARM64 buid in coverity script.

This is a bit hacky but it will do for now.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>