Updated openocd_gdb.md with information regarding Freescale's lack of solid GDB support for the K64 processor