[coreboot] [commit] r6213 - in trunk/src: drivers/dec/21143 mainboard/nokia/ip530