Yep, x86-64 is not something exotic. It's just a 64-bit linux, I think it much more popular that 32-bit one nowadays.