[coreboot-gerrit] Patch merged into coreboot/master: 795f96e lenovo/x2[23]0: Handle Ricoh SD cardreader