If any options are changed in Seabios - either via direct editing of the .config file or by 'make menuconfig' in the build/seabios directory, those changes are overwritten by coreboot during before it begins the seabios build. How can this behavior be stopped such that seabios configuration is possible? Thanks, Todd