Kernel32: 3GB UserSpace boot option