Replace shebang '/bin/bash' for '/usr/bin/env bash'

A few new files have been recently introduced with the shebang
'/bin/bash'. Replace them for the same reason as stated in commit
9dfdd1b3830dd69b46a02a9728216fb6fbcedd44.

Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>
Change-Id: I272dd9935b0d38f23a00190a3f7ec755e07dd51e
7 files changed