Mas que una lista, cuando hablamos de temas de UEFI no estandarizados y cada fabricante implementadola como les da la gana... lo mejor es revisar en la web del fabricante si ofrecen soporte para otros sistemas o instrucciones en el manual de ese.
Y normalmente la mejor opción es coger el modelo exacto y hacer una búsqueda por Google ^^.
A las malas, malas creo que cualquiera puede usarse con grub4dos después del arranque del gestor de Windows, para los que le interesen dual boot.
Otros es desactivar la segurdad de UEFI, otros, hay tweak y tal para hacerlo sin problemas...
Por ahora he visto muchas y distintas soluciones puff. Aun asi si lo mejor es preguntar en tienda y que te den la posibilidad de devolverlo sino puedes instalarle "tu sistema de trabajo profesional por limitaciones del hardware".