is x86 installed?