kernel: re-add missing symbols