Fixed check to install x64 KRE