Nope, using Windows 7 (64 bit).
<div>I tried installing Debian, but it gives me the error "<span style="background-color:rgb(255,255,255)"><font color="#4e4e4e" face="Myriad Pro, Trebuchet MS, Helvetica, Arial, sans-serif"><span style="font-size:14px;line-height:21px">“This kernel requires an x86-64 CPU, but only detected an i686 CPU. Unable to boot – please use a kernel appropriate for your CPU”. One site I found about this said the solution is to change a BIOs setting, but I'm concerned about changing BIOs settings. Is this really the solution? Did I get the wrong Debian iso? </span></font><br>
<font color="#4e4e4e" face="Myriad Pro, Trebuchet MS, Helvetica, Arial, sans-serif"><span style="font-size:14px;line-height:21px">-Thanks.</span></font></span></div>