removed the gpacket patch for openocd since that seems to be fixed