K 10 svn:author V 3 jkh K 8 svn:date V 27 1996-12-14T22:18:43.000000Z K 7 svn:log V 73 Make the USERCONFIG_BOOT semantics closer to what was original intended. END