[PATCH] x86_64: Support alternative() with a output argument.