Выбор ультрабука [SOLVED]

Добрый день.

Выбираю себе ультрабук, буду благодарен за любые полезные советы и комментарии (особенно интересует качество техники и совместимость с Linux).

Дополнительная информация:

• Сейчас нахожусь в Москве (потому выбор магазинов несколько лучше, чем обычно).
• Потолок цены: ~37k.
• Диагональ максимум: 16".
• Оптический привод: не нужен.
• Масса имеет значение (не больше ~2кг).

Присмотрел несколько вариантов:

1. Acer Aspire TimelineUltra M3-581TG-73516G52Mnkk (Core i7 3517U 1900 Mhz/15.6"/1366x768/6144Mb/520Gb/DVD-RW/Wi-Fi/Bluetooth/Win 7 HP 64) -- хорошая производительность. Не возникнет ли проблем с дискретной видеокартой Nvidia, а так же переключением видеокарт?
2. 14" [Ultrabook] Ноутбук DNS (0150941) (HD) -- довольно производительный, очень смущает производитель.
3. Ещё советуют не заморачиваться и взять Macbook Air c ebay.com, но этот вариант оставлю как самый запасной :)

В обеих моделях есть Intel видео. Сейчас имею Samsung x420-fa02ru, с ядер 2.6.39 возникла трабла с драйвером для видео: drivers/gpu/drm/drm_crtc.c: drm_mode_cursor_ioctl -- каждые ~10с фриз всего на ~300мс при движении курсора. Пришлось отключать mutex'ы в ядре, что вообще плохо. Нет ли аналогичных проблем в тех моделях?

==================
Всем спасибо, взял Samsung 530U4C, вроде работает...