Remove the configuration file, a replacement is already available. Link the old filename to the new configuration file to ensure backwards compatibility. Change-Id: I11361e471bb7ec277a850f956e51cd7d0fab408d Signed-off-by: Marc Schink <dev@zapb.de> Reviewed-on: https://review.openocd.org/c/openocd/+/9149 Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com> Tested-by: jenkins