[BusyBox] pivot_root - devfs

[Roberto De Leo]

> I "fixed" this by not mounting devfs before I did the pivot. I just put
> the nessesary device files in /dev in the initrd image.

Ok, this is a kind of solution :-) but I make some use of devfs and so I would really like to be able to umount it when I need to. On the other side, I realized now that probably this is impossible since my new rootfs lives on /dev/rd/2, so it is under /dev/ and therefore it seems impossible to umount it...