I am trying to use an HDMI display with an inaccurate EDID. On X.org, I can use driver options to ignore the EDID and add a custom mode to the monitor section with a specific clock and timings.
Is there a way to do this in UEFI as well, though? Perhaps through a device tree property? This is important for the UEFI menu as well as boot menus and anything that uses GOP later on.