x86-64.S: Recent changes gave a theoretical performance hit due to
using r10 as tmp2. This patch rectifies that.