kernel: add a missing config symbol for 3.8