[coreboot-gerrit] Patch set updated for coreboot: 70aed62 Intel microcode: Return when `microcode_updates` is `NULL`