grub: Add a new kernels.
[matthijs/servers/drsnuggles.git] / boot / grub /
drwxr-xr-x   ..
-rw-r--r-- 5124 menu.lst