OS-3415 lxbrand mishandles amd64 red zone, original %r15 value clobbered during uucopy