openocd: use macro ARRAY_SIZE()