[coreboot] s2891