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

[Idwer Vollering]

Adding some details.

2012/7/31 Moore, Robert <robert.moore at intel.com>:
> Please let me know if the -Pn option works for you.
> Thanks,
> Bob

-Pn works for me, with acpica-20120420-64 and with acpica-unix-20120711.

acpica-unix-20120711 needs this patch, for gcc 4.7.1:

diff -ur acpica-unix-20120711/source/compiler/Makefile
acpica-unix-20120711-patched/source/compiler/Makefile
--- acpica-unix-20120711/source/compiler/Makefile       2012-07-11
17:55:10.000000000 +0200
+++ acpica-unix-20120711-patched/source/compiler/Makefile
2012-07-31 19:50:59.077389584 +0200
@@ -270,7 +270,6 @@
     -Wnested-externs \
     -Wold-style-declaration \
     -Wold-style-definition \
-    -Wredundant-decls \
     -Wtype-limits

 #