No functional change. Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>
mentioned in commit 71e83ac6
mentioned in commit 7f52c748