FAQ: Need to set SUPERMIN_KERNEL_VERSION in recent supermin.