kernel: add missing config symbol for 3.13+