De acordo com o meu comentário acima, parece que este é um problema conhecido em algumas máquinas Samsung, que se manifesta em várias distribuições Linux. Nenhuma explicação foi dada.
Ele pode ser contornado com as opções de inicialização nomodeset ou noacpi, embora isso limite a operação da máquina e geralmente desabilite a luz de fundo da tela.
A única "solução" conhecida é a atualização para o kernel 3.10 rc5, embora ninguém pareça saber qual alteração a corrige. Essa correção funcionou para mim e de acordo com os relatórios de bug abaixo, para a maioria dos outros usuários.
link