SFrame-based stack unwinding for the kernel