[coreboot] Patch merged into master: 61cd2db Fix FILO build system