coreboot-kgpe-d16/src/include/cpu/intel/microcode.h

void intel_update_microcode(const void *microcode_updates);