GuixSD kernel panic on linux-libre 3.18.7

[Daniel Pimentel]

Hi Guix,

I installed GuixSD on Lenovo X200 Tablet with success (Linux-Libre 
3.18.4), but after upgrade (# guix pull; guix system reconfigure 
/etc/config.scm) there is a kernel panic with kernel higher than 3.18.4 
(last line):
kernel panic - not syncing: Attempted to kill init! exit code=0x00000100

P.S.: With old kernel (Linux-Libre 3.18.4) it's work.

Thanks,

--
Daniel Pimentel (d4n1)