devfs_bootdev_modifiable
if (devfs_bootdev_modifiable() != 0) {
extern int devfs_bootdev_modifiable(void);