[SeaBIOS] 'make oldconfig' broken...

[David Woodhouse]

Why does it keep forgetting my config and reverting to defaults, every
time I touch src/Kconfig?

[dwmw2@shinybook seabios]$ make oldconfig
scripts/kconfig/conf --oldconfig /home/dwmw2/git/seabios/src/Kconfig
#
# configuration written to /home/dwmw2/git/seabios/.config
#
[dwmw2@shinybook seabios]$ grep CSM .config
CONFIG_CSM=y
[dwmw2@shinybook seabios]$ touch src/Kconfig
[dwmw2@shinybook seabios]$ make oldconfig
  Build default config
#
# configuration written to /home/dwmw2/git/seabios/.config
#
scripts/kconfig/conf --oldconfig /home/dwmw2/git/seabios/src/Kconfig
#
# configuration written to /home/dwmw2/git/seabios/.config
#
[dwmw2@shinybook seabios]$ grep CSM .config
# CONFIG_CSM is not set
[dwmw2@shinybook seabios]$