void intel_update_microcode(const void *microcode_updates);