The text f38563d16219, as OpenBSD 6.7 shipped it.
Rockchip HDMI transmitter
rkdwhdmi(4) on OpenBSD now