Bug#122738: boot-floppies can't handle devfs

[Philip Blundell <philb@gnu.org>]

In message <[🔎] 20011208132955.A4356@nevyn.them.org>, Daniel Jacobowitz writes:
>I'm not so confident.  Particularly if you either include devfsd or do
>not mount devfs, it should not change much beyond the occasional /proc
>message.

Never underestimate the fragility of the boot-floppies code base.  There is
a reason this stuff is at end of life.

That said, I'm inclined to agree that it's at least worth trying it out to see
what happens, so long as we are convinced the patch can't break things for
other people.  There can't be _that_ many places where exact pathnames are so
important.

p.