kernel: add a couple missing symbols for 4.0