Submitted the patch in more complete form at https://salsa.debian.org/kernel-team/linux/merge_requests/68