Problems with initrd: it uses the wrong /lib/modules/<kernel>