Interesante lo que dices, de hecho, uso el virtual box, porque es rapido y solo lo uso para probar instalaciones, sin embargo, cuando pongo, otros kernel que he encontrado por ahi, no me pasa eso, de hecho puedo ponerlos como addon, y en distintos UPL, probare y si encuetro alguna solucion te cuento. saludos