Notes for x86_64 assembly encoding.

Mostly copying...