Hello, Any progress on this ?
It's quite annoying to NOT being able to follow debian's stock kernels. Thanks for considering it. Best regards, Adam.