[coreboot] Kconfig QA again [was: tyan s2881 with seabios and gpxe]

[Peter Stuge]

Myles Watson wrote:
> The Tyan s2881 doesn't have ACPI support.

Each board should indicate this, so that the menu does not show
options which are known to not work.


//Peter