doc/openocd.texi: fix bad aarch64 merge
[fw/openocd] / ChangeLog
1 Retired in favor of git log.