kernel: add a few missing symbols for 4.1