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