[coreboot] r3961 - in trunk/coreboot-v2: src/config src/cpu/x86/smm util/newconfig