Menu governor (for tickless system)
modulename: menu.ko
configname: CONFIG_CPU_IDLE_GOV_MENU
Linux Kernel Configuration
└─>Power management and ACPI options
└─>CPU Idle
└─>Menu governor (for tickless system)
