> Can you post a picture or transcript of the kernel panic?  Please also
> include your system configuration and some information about the
> hardware you are using (i.e. laptop model).

Sure, please find the information at http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37917.

> > I was wondering whether guix uses LTS releases of linux-libre or not?
> 
> The default kernel in Guix is the latest and greatest, but you can
> choose to use one of the LTS releases that are available (4.4, 4.9, 4.14
> or 4.19) by adjusting the 'kernel' field of your system configuration.

I see.

> > Or is there any other way to prevent these kernel panic?
> 
> Try pulling the power instead of shutting down...  :-P

I ended up doing that anyway 😛

Regards,
RG.