coreboot-kgpe-d16/targets/tyan/s2850/VERSION