platforms/nuttx: change bash references

There is a platform, NixOS Linux, on which '/bin/bash' is not available.
This commit changes the interpreter to '/usr/bin/env bash' in some
scripts essential to firmware building.

platforms/nuttx/Debug/poor-mans-profiler.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # Author: Pavel Kirienko <pavel.kirienko@zubax.com>
 #

platforms/nuttx/NuttX/tools/kconfig-conf

@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /usr/bin/env bash
 
 echo "DEBUG: kconfiglib kconfig-conf wrapper, arguments: ${@}"
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"

platforms/nuttx/NuttX/tools/kconfig-tweak

@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /usr/bin/env bash
 
 #echo "DEBUG: kconfiglib kconfig-tweak wrapper, arguments: ${@}"
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"

platforms/nuttx/NuttX/tools/px4_nuttx_make_olddefconfig.sh

@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /usr/bin/env bash
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"