We’re using TX2s on a custom carrier board and running into some display issues. On previous versions of our boards we haven’t had any issues, but on our latest revision only TX2s with the model number 699-83310-1000-D01 display properly on an HDMI monitor. We have several TX2s that are 699-83310-1000-B02 or B01, and when these are used the GUI will not load. The boot text will come up and we will see the mouse cursor and are able to get to a terminal interface, but we can’t start the GUI. What differences are there between the D01 and B01/2 models that could cause this?