ubuntu-linux-kernel/include/config/cpu/idle/multiple/drivers.h