Can you find out the exact name of the kernel config option for me? It must be a string that starts with "CONFIG_".