Does it make sense to use GNU/Linux if my hardware is proprietary?