[coreboot] Patch merged into coreboot/master: 6e21f43 No random directories