menu: avoid starving other processes in menu_handle()