[coreboot-gerrit] New patch to review for coreboot: 8085eb7 ectool: add --dump / -d for RAM dump