Very interesting that it’s still found if its name is micropython.a and not libmicropython.a o_O. Usually you have to use that name or a different linker command (see Failing to link external library) for that to work.
If it doesn’t come from the linker command (so that problem is solved) then you can maybe open a new topic for it.