You're the one who posted the information definitively identifying those files as being for Mediatek chipsets, so I don't know what else to tell you.
@pelrun started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
You're the one who posted the information definitively identifying those files as being for Mediatek chipsets, so I don't know what else to tell you.