[coreboot-gerrit] Patch merged into coreboot/master: ba0e895 ectool: remove extra printf("Not dumping EC IDX RAM.")