Luis respondiendo al comentario que acá no se…

Luis, respondiendo al comentario que acá no se ve. No, no se manejar systemd, en realidad me puse a hacer pruebas. Logré con PyGrub bootear con otro kernel distinto al del dom0. Es una opción más. Lamentablemente hay problemas con los kernels más nuevos, el dom0 tiene el 3.2.0 y a partir del 3.6.0 da problemas. Después agrego una guía para hacerlo.