Windows 7 32 versus 64 bit for overclocking