RPi 3 has both "full KMS" and "fake KMS" display drivers which support hardware-accelerated GL driver. RPi 4 currently has only "fake KMS". I wonder what difference does it make w.r.t OpenGL support.
Here it is stated that "fake KMS" is useful for video processing because the DispmanX API remains available, which is not the case with "full KMS". Does this affect OpenGL in some way?