Don't set the Linux kernel version here since the Warden does it.

Ticket: #3426