I'm surprised this hasn't been posted here yet, basically there was a 3DMark 11 Performance benchmark test ran on 4th July, and it's PCI-ID is 687F:C1 which means that this is Vega.
See here: http://www.3dmark.com/3dm11/11592003/
If you compare it, you can see that driver name is shown under Graphics Card section: http://www.3dmark.com/compare/3dm11/11592003/3dm11/12256169
And it is yet again slower than the GTX 1080.
Does a normal GTX 1080 run at 1870 Mhz core and 1450 Mhz memory?
Also 32GB versus 8GB memory. Maximum Turbo Clock at 4.9Ghz versus 4.0Ghz