Para Linux Escogeria Lenovo,
Toshiba da lata con linux (No sigue estandares ACPI, puedes tener problemas con que reconozca la bateria, que no reinicie, etc),
Alienware está bien solo reviza que no tenga tarjeta gráfica Nvidia con OPtimus, ya que optimuns no está soportado en Linux