No functional change. [Backport commit 8bb12e62.] Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>