x86_64: Add __DISCARD__() function call to the tailcall sequence to
work around bugs in gcc (see comment for details).