am 73dd4321: Merge "Whitelist updatePCR from fsanitize=integer"

* commit '73dd432185ed6275fc9bf00c029547affed07525':
  Whitelist updatePCR from fsanitize=integer