intel я себе сам руками прописчвал (и это не рекомендуют), а у вас драйвер modeset как мне кажется видит HDMI.