cpu_ucode_intel_rev
old_rev = cpu_ucode_intel_rev();
new_rev = cpu_ucode_intel_rev();
uint32_t cpu_ucode_intel_rev(void);
old_rev = cpu_ucode_intel_rev();
new_rev = cpu_ucode_intel_rev();
uint32_t cpu_ucode_intel_rev(void);