[Bug 908454] get_kernel_version does not support zImage