x86-64: use r8,r9 as load/store registers