id_machine6 is never set to an other value than x86. So it is safe to remove the replacements with "x86" directly.