Seguindo as instruções aqui ( link ) eu construí uma versão de desenvolvimento do kernel.
Copiei a configuração antiga, chamada make oldconfig e, em seguida, modifiquei .config na árvore de origem para definir um sinalizador de configuração:
CONFIG_ACPI_DEBUG=y
Depois eu criei com make -j 'getconf _NPROCESSORS_ONLN' deb-pkg LOCALVERSION=-custom e instalei os pacotes resultantes com dpkg -i , mas o novo sinalizador não tem efeito:
$ uname -r
3.17.0-031700rc5-generic
$ grep CONFIG_ACPI_DEBUG /boot/config-$(uname -r)
# CONFIG_ACPI_DEBUG is not set
Como posso compilar um kernel com diferentes flags no Ubuntu?