@newman: I did some investigations and I'm quite sure even when one is on v3.4.2, they can revert back to v2.5.8 if they wish to do so.
Can you please put your update_restore-os.bin in your DX and let me know if Menu>Settings>Menu>Update becomes active? I'm not asking you to run it, just make sure it's not grayed out for any reason.