I just noticed that this 4.17 kernel is from Debian Experimental. No idea what this was installed on my system though...
I just noticed that this 4.17 kernel is from Debian Experimental. No idea what this was installed on my system though...