Kernel updates

For #1237 (closed)

I just updated the kernels for now to the latest version shown on kernel.org The LTS version was updated from 4.9.X to 4.14.X (as @MartijnBraam said).

pytest test/test_qemu_running_processes.py succeeded but more wasn't really tested yet.