open(2): devfs is in section 4 on HEAD
Noted by: yuripv Fixes: f5a37f8dd319e3007b126b77376e61ad96f44d8b