user32: Do not load 16-bit user.exe by default.