Identify kernel version in a way that does not depend on rpm