Managed to get the kernel logs when I do `modprobe dispcc-x1e80100`:
```
Jul 05 20:11:29 nixos kernel: platform ae01000.display-controller: Fixed dependency cycle(s) with /soc@0/display-subsystem@ae00000/displayport-controller@aea0000
Jul 05 20:11:29 nixos kernel: disp_cc_pll0 PLL is already enabled
Jul 05 20:11:29 nixos kernel: platform ae01000.display-controller: Fixed dependency cycle(s) with /soc@0/display-subsystem@ae00000/displayport-controller@aea0000
Jul 05 20:11:29 nixos kernel: platform aea0000.displayport-controller: Fixed dependency cycle(s) with /soc@0/display-subsystem@ae00000/displayport-controller@aea0000/aux-bus/panel
Jul 05 20:11:29 nixos kernel: platform aea0000.displayport-controller: Fixed dependency cycle(s) with /soc@0/display-subsystem@ae00000/display-controller@ae01000
Jul 05 20:11:29 nixos kernel: arm-scmi firmware:scmi: failed to setup channel for protocol:0x10
Jul 05 20:11:29 nixos kernel: arm-scmi firmware:scmi: failed to setup channel for protocol:0x10
```