Pero ¿hace falta hacer eso con Devuan?, ¿el kernel que usan tiene software propietario?

no hace falta.. Devuan al basarse en Debian éste desde su versión 6.0 Squeeze ya no incorpora blobs, pero no usa los scripts de linux-libre usa una metodología propia no te sabría decir cual.. yo compilo para probar la última versión estable del kernel que eso si no esta en los repos de Devuan ni Debian todavía http://www.somoslibres.org/modules.php?name=News&file=article&sid=4286