yes, correct mailing list.
already noticed this problem, but fix not yet pushed to
kernel.org.
patch is already in
https://copr-be.cloud.fedoraproject.org/results/jkastner/Fedora-Realtime/...
it will be fine, if you'll extract that patch and sign-off, is already tested :)
thanks
best regards
jiri kastner