Divulged this evening by Duncan Laurie on the coreboot mailing list: If you want to boot SeaBIOS by default and you have unlocked the SPI flash write protection you can set flags in the (write protected) “GBB” flash region that will make it boot legacy mode by default. In Chrome OS there is a script called set_gbb_flags.sh …