How to scale the UI properly with High DPI screens?

[VoloDroid]

@waddlesplash

PulkoMandy noted we can’t always retrieve that information reliably

Yes, some displays report the wrong values, but as PulkoMandy suggested we could keep the list of those devices and adjust the data accordingly.

@PulkoMandy

This could be handled with specific quirks, identifying such devices and live patching the EDID data when they are discovered.