[coreboot-gerrit] Change in coreboot[master]: eve: Specify an unique ID for PS2 devices