[coreboot] Patch merged into coreboot/master: 0fd0a05 Tyan S8226: Fix incompatible pointer warning