This reverts commit 78135ee6eb as bba5a711483447d7eee2531b65bd1c07c81746c9 made it unnecessary. Change-Id: Idee755f05c17502599aaa947826e9a7feb08b4a7 Signed-off-by: David Vincze <david.vincze@arm.com>
78135ee6eb