[coreboot-gerrit] Change in coreboot[master]: kbc1126_ec_dump: fix signed integer error