[coreboot] [PATCH] fix Tyan s2881 boot (Kconfig)

[Ward Vandewege]

This fixes breakage introduced in r5051.

Thanks,
Ward.