Да, раньше я говорил (по списку рассылки), что имя должно быть более общим, и было решено, что x86_64 - это правильный путь (это то, что я использую в Arch Linux). В то время они сказали, что это изменение будет сделано, но не знаю, когда (это было около года назад, я это слышал).