[PATCH] x86_64: Don't clobber r8-r11 in int 0x80 handler