kernel: add missing 4.1 config symbol