Fixed a bug with the detection of ARM devices

ARM devices were being detected as 64-bit in some cases due to the fact that the index of "intel" was not being checked.