kernel: add a missing submenu