kernel: config: add missing PPP config options