doc/openocd.texi: fix bad aarch64 merge
[fw/openocd] / NEWS-0.9.0
2015-05-17 Paul FertserRestore normal development cycle