void intel_update_microcode(void *microcode_updates);