[coreboot] New patch to review for coreboot: 2b2582e Tyan S8226: Fix incompatible pointer warning