CMake: greentea: Use more specific name for baremetal option

Make it obvious the option is used for greentea tests.

Author: rwalton-arm

tools/cmake/README.md

@@ -97,7 +97,7 @@ Install prerequisites suggested in the previous section and follow the below ste
   ```
   Or build the test binary with the baremetal profile
   ```
-  cd cmake_build/<MBED_TARGET>/<PROFILE>/<TOOLCHAIN>/ && cmake ../../../.. -G Ninja -DMBED_TEST_BAREMETAL=ON && cmake --build .
+  cd cmake_build/<MBED_TARGET>/<PROFILE>/<TOOLCHAIN>/ && cmake ../../../.. -G Ninja -DMBED_GREENTEA_TEST_BAREMETAL=ON && cmake --build .
   ```
 
 Notes:

tools/cmake/mbed_greentea.cmake

@@ -1,7 +1,7 @@
 # Copyright (c) 2020-2021 ARM Limited. All rights reserved.
 # SPDX-License-Identifier: Apache-2.0
 
-option(MBED_TEST_BAREMETAL OFF)
+option(MBED_GREENTEA_TEST_BAREMETAL "Select baremetal greentea tests" OFF)
 
 set(MBED_TARGET_SERIAL_PORT "" CACHE STRING "Serial port of the DUT")
 set(MBED_TARGET_SERIAL_NUM "" CACHE STRING "USB Serial number of the DUT")
@@ -67,7 +67,7 @@ macro(mbed_greentea_add_test)
             ${MBED_GREENTEA_TEST_SOURCES}
     )
 
-    if(MBED_TEST_BAREMETAL)
+    if(MBED_GREENTEA_TEST_BAREMETAL)
         list(APPEND MBED_GREENTEA_TEST_REQUIRED_LIBS mbed-baremetal)
     else()
         list(APPEND MBED_GREENTEA_TEST_REQUIRED_LIBS mbed-os)