Modifying an HDMI dummy plug's EDID using a Raspberry Pi