How about the microsd speed? Is the microsd internally connected via USB? Or directly? My toshiba card is able to be be read with 90mb/sek... that's not THAT slow (but still slower than emmc).
I've had decent performance with a Samsung EVO+ but it's not at the same level as eMMC, especially for random 4K read/write performance which is more important for an OS.
