Pues sí, pasé mediante el programa "32- or 64-bit Kernel Startup Mode Selector" todo a 64, pero diría que existe la posibilidad de decir le a un programa que se ejecute en 32……pero no recuerdo como