Ok, I talked to Daniel and the system actually has a DVI port rather than and HDMI port. I've added a proper quirk: e68d3a3890fc81c51f2006b5548da1e8756ad2fd
Ok, I talked to Daniel and the system actually has a DVI port rather than and HDMI port. I've added a proper quirk: 51f2006b5548da1 e8756ad2fd
e68d3a3890fc81c