K 10
svn:author
V 6
kevans
K 8
svn:date
V 27
2018-06-19T15:05:31.691358Z
K 7
svn:log
V 188
lualoader: Correct kernel_options handling

`kernel_options` were being passed as flags to load, rather than to the
kernel being loaded. This is the kernel_options counterpart to r335009.

END