Move around the BARE_METAL config entry outside of the bare metal /kernel/ entry: there might be different setups that causes a bare metal compiler.

/trunk/config/kernel/bare-metal.experimental.in | 12 4 8 0 ++++--------
/trunk/config/kernel.in | 6 6 0 0 ++++++
2 files changed, 10 insertions(+), 8 deletions(-)

# Overall toolchain configuration: paths, jobs, etc...

menu "Paths and misc options"

source "config/global/ct-behave.in"

source "config/global/paths.in"

source "config/global/download.in"

source "config/global/extract.in"

source "config/global/build-behave.in"

source "config/global/logging.in"

endmenu