Clarify use of |$end0| in stitched x86-64 AES-GCM code.