kernel: add missing symbol