[arch-ports] x86_64 port