[-zero-]

@fritsch

There is a mistake in your description about the edid for ubuntu.

Instead of:
sudo cp /sys/class/drm/card0-HDMI-A-1/edid /lib/firmware/edid.bin

it should be:
sudo cp /sys/class/drm/card0-HDMI-A-1/edid /lib/firmware/edid/edid.bin

And for the GRUB_CMDLINE_LINUX_DEFAULT line there is a missing " at the end.