Bug ID: 211913
Summary: outdated info in Kernel configuration NOTES
Severity: Affects Many People
Assignee: [hidden email] Reporter: [hidden email]
The line in the NOTES file about the option X86BIOS says it is required for
atkbdc to work.