1) Você tem que garantir o fato de que esses kernels são compilados com um conjunto similar de opções, também conhecido como o arquivo de configuração que é usado para compilar o kernel
2) Neste caso, e na minha experiência, algo pode estar errado com o sistema de semáforos ou o BIOS / ACPI, pelo menos, este é o maior suspeito se você me perguntar.Também o BIOS e o ACPI são software proprietário assim eles podem oferecer um desafio real se o fabricante não estiver disponível para oferecer um suporte melhor.
Há também o link que é uma bifurcação do Bumblebee e provavelmente é sua melhor opção no momento.