The easier option would be to enable CONFIG_MT7925E=m in the kernel defconfig
Much better idea
In case someone reads it:
setting this: https://github.com/LibreELEC/Libr…6_64.conf#L2734
to CONFIG_MT7925E=m and copying https://git.kernel.org/pub/scm/linux/…t/tree/mediatek to /storage/.config/firmware/mediatek makes the card show up.
Thx