K 10
svn:author
V 6
kevans
K 8
svn:date
V 27
2018-02-17T05:02:38.479225Z
K 7
svn:log
V 357
stand/lua: Try to load alternate kernels as directories first

This is the procedure that config.loadkernel tries to go through, but
reloading kernel config didn't use this function. Amend config.loadkernel to
take an optional other_kernel.

While here, be a little more verbose ("Trying to load kernel") so that it's
easy to follow where we've gone wrong.

END