We just got a devkit update so I can confirm that the code for them was indeed fixed, just like the patch notes said! Now we just need to find the vendors