The Raspberry Pi display driver for Linux may support 4K@60Hz