Use bash instead of sh

According to qchris, sh is unnecessarily hard.

Change-Id: I0577529e2872bd4b3d4101b49eaa092eb7e1f234
Add REPO_NFCRINGCONTROL for siebrand

Change-Id: If5d4f0a36f3ee60e0a905cbf0c15e8f2e28ec9db
Merge "Use bash instead of sh"