K 10 svn:author V 3 bde K 8 svn:date V 27 1994-11-14T07:51:11.000000Z K 7 svn:log V 197 Don't build an unused array of kernel names when HAVE_GETBOOTFILE is defined. Don't use the newfangled C features to waste time building the array at runtime when HAVE_GETBOOTFILE is not defined. END