server: Manually control kernel version.