[coreboot-gerrit] Patch merged into coreboot/master: 2c88cc0 Intel microcode: Return when `microcode_updates` is `NULL`