Finally properly booting glab kernel