[kernel] Add missing config option