[Bug 1171180] get_kernel_version fails to handle zImage on armv7