Re: Kernel modules in initrd

[Danny Milosavljevic]

No, wait, according to 
https://unix.stackexchange.com/questions/43699/debian-does-not-detect-serial-pci-card-after-reboot/43723#43723
 ,
the kernel should be doing that even without udev.  Are we sure we need to 
manually modprobe the stuff in gnu/build/linux-boot.scm in
the first place?  I think we should just add kmod to the initrd - that's it.