Symbol: create_vcpu_with_mce_cap