[coreboot] Installing coreboot with SeaBIOS

Hi. I go through this tutorial:

https://doc.coreboot.org/tutorial/part1.html

I'm on Step 5 - Configure the build > Check your configuration (optional step):

I entered

$ make savedefconfig
$ cat defconfig

I have changed my mind. Now I'd like to install SeaBIOS instead of coreinfo. What do I need to do? How do I change it?

Regards,

Bernd