[SeaBIOS] Mysterious "is VARVERIFY32INIT but used from" problem while trying to improve SeaBIOS

[Kevin O'Connor]

On Sun, Feb 25, 2018 at 08:51:56PM +0300, Mike Banon wrote:
> >
> >  Please see the developer documentation:
> >
> 
> I am afraid this documentation does not answer why this build problem
> does not happen when I apply this patch to the standalone cloned seabios
> while it does happens when I apply it to the seabios built by a coreboot

The default seabios configuration is to build for qemu and not
coreboot.  So, by default it would not include that code and would not
raise a compile time error.  If you configured seabios to build for
coreboot and it didn't raise a compile time error then that seems like
a build defect.

-Kevin