kernel: add two more missing config symbols