New functional evaluation of x86 hypervisors