add badge23_lib source files to qstr for micropython (maybe)

micropython/ports/esp32/main/CMakeLists.txt

@@ -109,6 +109,7 @@ set(MICROPY_SOURCE_QSTR
     ${MICROPY_SOURCE_LIB}
     ${MICROPY_SOURCE_PORT}
     ${MICROPY_SOURCE_BOARD}
+    ${BADGE23_LIB}
 )
 
 set(IDF_COMPONENTS