CPU_VAR_TO_MIDR
CPU_PART_TO_MIDR((part)) | CPU_VAR_TO_MIDR((var)) | \
el2ctx->vpidr_el2 |= CPU_VAR_TO_MIDR(0);