Corrected identifier for ARM processors