No, those aren't the ones I'm referring to. /dev/gpiochip5 is created for the external gpio header by the pca953x driver (which I believe connects to a tca6416 chip on the EVK, but that I'm not certain of).
My kernel is working now to correctly create that device as shown below so this is fixed. I think what fixed my build was a full "make clean" before rebuilding the kernel (still with CONFIG_GPIO_PCA953X=y and CONFIG_GPIO_PCA953X_IRQ=y in imx8mp_gki.fragment)
