[coreboot-gerrit] [S] Change in coreboot[master]: ec/google/chromeec: Deprecate dev_index from google_chromeec_reboot