kernel: add missing symbols