This is a generic default environment setting, and so should go alongside all the other generic default environment settings. Change-Id: If3032a4893dd84f7c7d77e7e9420436ab445cf2b Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/40967 Maintainer: Gabe Black <gabe.black@gmail.com> Tested-by: kokoro <noreply+kokoro@google.com> Reviewed-by: Andreas Sandberg <andreas.sandberg@arm.com>