vmxcap: bit 9 of VMX_PROCBASED_CTLS2 is 'virtual interrupt delivery'