Add x86_64 ABI doc.
misc/ is a good name for misc stuff.