Correctly launches 32bit mode