Virtualization restriction with 32-bit VT