The bare-metal port needs it and it's no longer included by default since the Makefile now uses $(PY_CORE_O).