Recommendations for avoiding a bug in devfs?