Re: [coreboot] Reliably build any Kconfig-based SeaBIOS revision