ubuntu-linux-kernel/include/config/no/hz/idle.h