Re: [coreboot] [v2] r4912 - trunk/src/boot