In RMA Manager we can see OS version on field Platform. But in case W2012 and W2012 R2 OS, there are no difference, both show Windows NT 6.2 Build 9200.
Yes, different Windows API should be used on Windows 2012, otherwise Windows reports wrong version.
We changed some code in version 10, should be available next week