[coreboot] Reliably build any Kconfig-based SeaBIOS revision

[Peter Stuge]

See patch.

The new TAG-stable points to the very latest commit in seabios.git,
which may not be quite right, but both stable and master must be
using Kconfig.

//Peter