[tip: x86/urgent] x86/tdx: Support vmalloc() for tdx_enc_status_changed()