Try to fix up the OS type in the .ovf files to properly reflect 32 vs 64 bit.