[coreboot] seabios and serengeti cheetah