O problema parece estar na porta HDMI do laptop, que não suporta 4K @ 60Hz.
No entanto, você pode obter 4K @ 60Hz pela porta USB tipo C se usar um adaptador, como o Dell oficial .
Eu não tenho muita certeza se isso funciona com o Linux, no entanto.
Veja alguns tópicos on-line em que as pessoas discutem o problema: