determined kernel version explicitly