[coreboot] Patch merged into filo/master: 14780f4 Rename i386 to x86, in accordance with libpayload