Есть. В сети выложены тестовые версии и стандартные ядра Linux с возможностью быстрой установки на ноутбуки.