cpuidle: Fix menu_device->intervals type