[SeaBIOS] Compiling SeaBIOS for coreboot has problems with its ACPI code

[Idwer Vollering]

2012/7/31 Moore, Robert <robert.moore at intel.com>:
> On Debian, we are using
>
> Flex 2.5.35
> Bison 2.4.1

My build machine runs 64-bit archlinux and has gcc 4.7.1, flex 2.5.36
and bison 2.6 installed.

P.S. please use reply-to-all, so everyone is informed.