Alternatively, OP could use just install the 32 bit OS twice on the same drive. Wa-la, 64bits. Problem solved.
