expand/fix comment about x86-64 registers