kernel/3.9: add missing config symbols