K 10 svn:author V 3 bde K 8 svn:date V 27 1997-07-20T05:27:59.000000Z K 7 svn:log V 267 Disabled option SMP_TIMER_NC. It now conflicts with a default "option". Moved description of sio 16650A flag to the sio section and rewrote the description. It was in the generic console flags section. Added undocumented options CPU_UPGRADE_HW_CACHE and WLDEBUG. END