[coreboot] New patch to review for coreboot: b1709fd SB800: add debug info