Rename x86_64 to AMD64

It's just a less awkward name and also what the BSDs use.