openocd.c: whitespace cleanup