kernel: add missing symbols for Linux 4.1