I've been advised that it's OK for me to directly modify git/arch/arm/configs/davinci_dm646x_1ghz_defconfig in spite of the fact that the top of this file reads "Automatically generated make config: don't edit". Well, I could modify it directly, but I'd much rather know where the very top level entry point is intended to be for configuring a kernel. Obviously, I don't know enough about linux admin to know this already! As you may have partially deduced, this is for the DM6467T EVM and later my own custom derivation, where I need to include the ADV7170 driver (for ADV7171 NTSC video output) as well as TVP514X driver (for TVP5147 for NTSC video input).
Thanks very much,
Helmut