* ron minnich rminnich@gmail.com [061119 15:58]:
Options.lb lists all possible options for the mainboard: uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
and their default values: default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2=1
Config.lb is used to override the default.
LinuxBIOS-AMD64.pdf also mentions the two files.
And these were done this way as nobody wanted to make the config tool 2 passes :-)
How would that have helped the drama? ;-)