Update x86_64 bits to mirror (modulo platform differences) the latest changes