TSA_MITIGATION_UCODE_NEEDED
[TSA_MITIGATION_UCODE_NEEDED] = "Vulnerable: No microcode",
tsa_mitigation = TSA_MITIGATION_UCODE_NEEDED;
case TSA_MITIGATION_UCODE_NEEDED: