Update x86 virtualisation