[kernel] add missing config options from #7733, thanks maddes