K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1997-03-12T18:48:31.000000Z
K 7
svn:log
V 223
Fixed setting of default kernel name when there is no boot.config file.

Didn't fix a more serious problem when boot.config is empty - read()
can't handle empty files.

Reported by:	Chris Timmons <skynyrd@opus.cts.cwu.edu>

END