It is possible to build an updated Linux Kernel for the DE10 nano following any of the following guides
However, you end up with a pure console-based Linux with no HDMI support. My question is, how do you activate the HDMI output? When building the Kernel a don't see any HDMI driver/module for the Kernel to load. Or is it done after the roots file system is created? How?