range now checks whether the kernel was previously compiled to the same range