Re: [SeaBIOS] 'make oldconfig' broken...