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 -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot
