As per summary. The CTARGET mangling should also set KPKG="[none]", not limit to set LPKG="newlib", for the *-elf case. Thanks, Diego
it already does this ... # Bare metal targets *-newlib|*-elf) LPKG="newlib" KPKG="[none]" STAGE=${STAGE_LIBC} ;;