I have a Lenovo IdeaPad Y580 that I'm planning on dual booting with. I want to use Ubuntu 13.04, but on the daily builds download page there is only "PC (Intel x86) desktop image" listed for intel, and "64-bit PC (AMD64) desktop image" listed for AMD CPUs. Is there no 64bit for intel? should I just use the 32bit? Or should I just download 12.10 instead?