Would it make sense to have a bare-metal platform module in CMake for Arm and/or RISC-V microcontrollers? It seems like there should be a platform module that configures the `CMAKE_EXECUTABLE_SUFFIX` as `.elf` appropriately. Would it be possible to add something like this so that the executable suffix is set appropriately for these kinds of projects?