OpenCSD bug in ETMv4 decoder