kernel: add further missing symbols