32bitのファイル(x86)にしかインスコできないのは何で?