Lo que tendrás que hacer es instalar el update oficial de mocosoft correspondiente al kernel modificado por el ggbuild. Si as instalado el dashlaunch y le as dicho que no actualize, tienes dos opciones, intentar cambiar el nombre de esa carpeta del update en un usb formateado en fat32 y probar a actualizar(no funciona siempre), o bien cambiar la configuración del dashlaunch para que permita actualizar y actualizar. Si no tienes el dashlaunch podrás actualizar sin problemas, repito, siempre cuando la versión del kernel corresponda con el update a cargar.
