On Sat, Aug 1, 2020 at 7:32 PM Samuel Sieb <samuel@sieb.net> wrote:

I suggest that you file a bug in the kernel bugzilla.  If you do, then
please either CC me or reply here with the link.
 
https://bugzilla.redhat.com/show_bug.cgi?id=1862803

 Thank you for all your help with this.

--Greg