kernel: add a few missing config symbols for 3.18+