Drop all floppy related code and documentation

Accessing /dev/fd0 is still causing some headaches and
people shouldn't be forced to boot with 'noautoconfig'.
Floppy disks shouldn't really matter in 2013 any longer,
so let's get just rid of it.