Add support for Windows Server 2012 R2

**This is not tested yet.**

Please note that it requires some patching to adk-tools (there's a reference to the extra directory in there, which I moved with this PR).