get_kernel_version is architecture-specific. It only supports uncompressed or gzip compressed kernels or x86 format kernels.