[Bug 908454] New: get_kernel_version does not support zImage