No conozco (ni creo que exista) ninguna base de datos exhaustiva al respecto. Tendrás que ir manualmente mirando las especificaciones del fabricante. Igualmente en portatiles modernos es habitual que sea HDMI 2.0 (desde Ryzen 2000 e Intel 8ª gen los gráficos integrados soportan HDMI2.0, así que se ahorra muy poco dinero usando revisiones más viejas)
Y con HDMI 1.4 es suficiente para 4K a 60hz con 4:2:0 (o para 24-30hz con cromaticidad completa), así que si es para cine u ofimática tampoco es un gran limitante.
Si no dicen nada al respecto pero soporta salida de imagen a 4K/120hz puedes estar seguro de que es HDMI2.0, que a veces las specs dejan que desear.
Saludos