RE: x86_64 port