[coreboot-gerrit] Patch merged into coreboot/master: b8065ea intel/microcode: Remove leftover MICROCODE_INCLUDE_PATH.