Pixhawk 4 mini radio input problems?

I’ve found the bug and have put a link to the fix and a workaround here: