[coreboot] Patch merged into coreboot/master: df4917d Remove unused free() function