Вчера умудрился поднять соединение, но, вот проблема, кроме адреса рабочей станции ничего более не пинговалось. Проблема, как выяснилось после прочтения содержимого нескольких конференций, заключалась в том, что
1. pppd не добавляет маршрут по умолчанию (default route) при установлении соединения.
2. если тупо добавить маршрут командой route add default ppp0, то ситуация не изменится. Причина - Linux не понимает два маршрута по умолчанию одновременно (впрочем, это правильно, ведь значение по умолчанию должно быть одно)
3. Поэтому, чтобы всё заработало, сначала нужно удалить текущий маршрут по умолчанию командой route del default и только после этого назначать новый маршрут.
...
Осталось придумать, как это всё красивее оформить.