Change-Id: I9e9c7163db4c061af00111b8dc959c364c6b7ae6 Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/41898 Reviewed-by: Giacomo Travaglini <giacomo.travaglini@arm.com> Maintainer: Giacomo Travaglini <giacomo.travaglini@arm.com> Tested-by: kokoro <noreply+kokoro@google.com>