Comment 5 for bug 1925812

I have verified this works. Once the system boots into the grub menu, press "e" to enter edit mode and add the line "drm.edid_firmware=edid/1024x768.bin" to the kernel command line as specified in comment #3.