bootfloppies can be built with r/o /usr/src or with other kernels
(from Havard.Eidnes@runit.sintef.no)