Eu acho que o problema é um bug específico para pppd
versão 2.4.5, que é o que vem com a Debian 7. Eu testei as versões 2.4.4 e 2.4.6 (que é a mais recente a partir de agora) em as mesmas e outras máquinas e elas funcionam como esperado. O pacote pppd
parece ter um monte de código de manipulação de manipulador de sinal, o que eu acho que poderia levar a esse tipo de erro. Estou feliz que tenha sido consertado agora.