cpuid_to_ucode_rev
cur_rev = cpuid_to_ucode_rev(bsp_cpuid_1_eax);
base_rev = cpuid_to_ucode_rev(bsp_cpuid_1_eax);