kernel: add missing symbol for 4.1