extern int	bootdev_isfloppy(const char *);