kernel: add a few missing config symbols for x86. added to generic config because...