make menuconfig時のコンフィグ検索

• コンフィグの検索は，"/"で可能
• 検索結果のコンフィグを変更したい場合，その検索結果に付与されている番号に飛ぶと楽

参考

• https://wiki.gentoo.org/wiki/Kernel/Configuration/ja