GRUB_CMDLINE_LINUX_DEFAULT="quiet splash video=HDMI-A-1:3840x2160@30e drm.edid_firmware=HDMI-A-1:edid/edid.bin"