Comment 4 for bug 1972140

Thanks for the quick response. Will a patched kernel binary be available from a ppa or testing repo? Or, do I need to download the deb src, patch, and build the kernel myself?