Perhaps the problem lies in the fact that the kernel my machine is running (4.4.0-38-generic) is not among those listed?
Perhaps the problem lies in the fact that the kernel my machine is running (4.4.0-38-generic) is not among those listed?