Using the iMXPlatformPkg GPIO lib to configure and read a GPIO -- via ImxPadConfig() and ImxGpioRead() -- returns the incorrect results. Using direct MMIO we get the correct results.
Sorry, the last couple of weeks have been very busy. I'm using the iMX8 4G EVK BSP in the WinIoT project on a board that's based on PE-100.