[coreboot] [v2] r4904 - trunk/src/boot