3 ms·

Looks like 32-bit user mode (but not kernel mode) is not getting removed, so these games should still work.