linux: setting a custom resolution via EDID editing