Yes, let me get back to you shortly. The device is far away. I also suspect you’re right that the kernel modules may have been loaded incorrectly. Its possible that the kernel modules from an old attempt may be sitting around and caused issues when this (new) fix was applied.
I have reached out to an engineer closer to the device to snag this information on our behalf.