Anyway, a cause for this bug has been found and a fix is in works. AFAIK it will require updating the device bootloader (can be done with flasher), but I don't know when the fix will be available.