I'm running Windows 7 Professional 64-bit on an HP Envy 17t-K200 notebook. I'd like to install Windows 7 32-bit on a different partition, but the setup disc says it can't be done on a system with EFI. Is there a workaround for this, which will allow both operating systems to boot?