kernel: add a few missing kernel config symbols