x86-64, doc: Remove int 0xcc from entry_64.S documentation