[coreboot] CoreBoot on EPIA 800