kernel: add a missing config symbol for 3.7