The line in the NOTES file about the option X86BIOS says it is required for atkbdc to work. This seems no longer correct. See https://reviews.freebsd.org/D2399
Can you provide the line in NOTES you are referring to? Thanks.