SRBDS_MITIGATION_UCODE_NEEDED
[SRBDS_MITIGATION_UCODE_NEEDED] = "Vulnerable: No microcode",
if (srbds_mitigation == SRBDS_MITIGATION_UCODE_NEEDED)
srbds_mitigation = SRBDS_MITIGATION_UCODE_NEEDED;