The next thing you need to do is setup your SeaBIOS src/config.h. It
should have CONFIG_COREBOOT set, CONFIG_DEBUG_SERIAL set,
CONFIG_OPTIONROMS_DEPLOYED unset, and OPTIONROM_BDF/MEM_* set. I
think you've already done this.