[coreboot] New patch to review for coreboot: 65bbfe4 Update the way serial info is read from the coreboot tables.