Introduce new default_config variable in Makefile.inc. It can be used to specify the flavour whose config file will be used for building kernel headers.
Changed paths:
branches/linux-kernel-2.6.12/debian/Makefile