Fix some Infer Dead Store warnings#783

fabio-porcedda wants to merge 1 commit intorhboot:mainrhboot/shim:mainfrom

fabio-porcedda:inferfabio-porcedda/shim:inferCopy head branch name to clipboard