This was merged in [1] [1]: https://gem5-review.googlesource.com/c/public/gem5/+/49455 Change-Id: Iba558dd01d5c8fbc05e4d3a106a3e3ff6b696333 Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com> Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/66851 Reviewed-by: Daniel Carvalho <odanrc@yahoo.com.br> Maintainer: Daniel Carvalho <odanrc@yahoo.com.br> Tested-by: kokoro <noreply+kokoro@google.com> Reviewed-by: Matthias Jung <jungma@eit.uni-kl.de>