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.