Harald, there is a bit of documentation in there about usage of Kconfig and Makefile.config. It is not complete but I fill in a little each day. Please refer to it w.r.t. the use of mainboard and socket Kconfig.
What if we apply this patch and get yours in next?
ron