get_kernel should return an empty string

fixes issue #47

If your bootloader has extra entries, which don't have a kernel
parameter, the get_kernel function returned None, and thus the is_xen
evaluation failed, as it were expecting a string.