Huh, interesting. I suppose DOCP or not it doesn't really matter for you - you're already running at 3200mhz. Whether it is because you have non-DOCP 3200mhz sticks or because DOCP is actually on. Either way, from my understanding, you're probably solid there as is.