Hola intersof!, como estas?. Mira eso te pasa porque no cambiaste el gestor de arranque... Entonces claro que no te va a preguntar, porque es como que tu gestor de arranque dice esto:
"mira, hay uno de 32 bits... lo mando" sin mirar el otro.
En cambio si lo cambias va a decir: "EPAAA, tengo 2, aca ni idea cual arrancar, le pregunto al usuario", y ahi te va a preguntar
. No se si entendes mas o menos la idea.
Yo uso linux y windos y el gestor de arranque que tengo es el grub. un abrazo!