[coreboot-gerrit] Change in coreboot[master]: lenovo/t431s,w530: Add DRIVERS_RICOH_RCE822