Ubuntu 18.10 uses the Linux Kernel 4.17 kernel by default