[arch-general] Xorg Thunderbolt3-HDMI RGB problem