[SeaBIOS] 'make oldconfig' broken...

[Kevin O'Connor]

On Fri, Dec 06, 2013 at 02:36:08PM +0000, David Woodhouse wrote:
> 
> Why does it keep forgetting my config and reverting to defaults, every
> time I touch src/Kconfig?

I noticed that the other day too.  I'm not sure what's going on - it
may have been the result of the recent Kconfig synch with the code in
Linux v2.6.38.  If I get a chance, I'll see if I can track it down.
If you find something let me know.

-Kevin