extern int      bootdev_isfloppy(const char *);