Все, проблема решена с помощью альтернативного драйвера RASPPPOE. Это в точности то, что мне было нужно. Он предоставляет широкие настройки для соединений, в т.ч. и привязку к определенным интерфейсам, и даже выбор пппое-сервера (если их несколько на одном интерфейсе) и сервиса на нем (если их тоже несколько). И еще вроде бы пошустрее инет стал
