Fix up headers_install wrt devfs removal