how to debug fiasco kernel