[coreboot] Patch merged into filo/master: 521f67f Trivial compilation fix