Change-Id: Id6141ec6a31c0485a00a60a1c58992caa1cca4c9
Signed-off-by: Mikael Olsson <mikael.olsson@arm.com>