Add SUPERMIN_KERNEL_VERSION environment variable to override kernel version detection.

Detecting the kernel version doesn't work on non-x86.