O arquivo de configuração é redefinido na compilação do kernel

Question

Estou usando um componente Analog Devices que está tendo problemas de driver com seu chip de exibição. Em este tópico, a solução recomendada é entrar no arquivo .config para o kernel e mudar

CONFIG_XILINX_VDMA=y

para

# CONFIG_XILINX_VDMA is not set

então eu faço isso, e seguindo as instruções para construir o kernel eu corro

make uImage LOADADDR=0x00008000

para recriar a imagem do kernel. Isso funciona bem, mas o problema persiste. Quando olho para o arquivo .config depois, vejo que o sinalizador CONFIG_XILINX_VDMA foi definido para 'y', e é por isso que estou tendo o mesmo problema. Parece que sempre que eu executo 'make', há algo que está redefinindo as configurações de volta à configuração antiga e ignorando minhas alterações.

Como posso forçar a utilização do novo arquivo de configuração em vez de reescrevê-lo?