kernel: add few missing symbols