Technically I misspoke. Some VA2 DCs used the older BIOS with the exploit still there, but most did have it patched.

One Reddit thread I see claims that Microsoft actually paid Sega for the Windows CE logo on the front of the system. But as you said, not many games used it.