Windows Drivers for X86J4105

So, for the drivers that are installed for GPIO in the Windows 10 installation (i.e., Intel® Serial IO GPIO Host Controller - INT3453, …Serial IO I2C Host Controller, … Serial IO SPI Host Controller, and Serial IO UART Host Controller) are these for the 40 pin Raspberry Pi header, or the 28 pin Arduino header?

I would think it would have to be for the 40 pin header since the 28 pin header should be connected to the SAMD21 coprocessor. If that’s the case, does this mean I should be able to access the 40 pin GPIO via a Windows 10 app? (e.g., C#.NET code?)