Changing the script extension name to .sh

Signed-off-by: Rocky Zhang <Rocky.Zhang@arm.com>