If the system will have a large amount of memory, then it would be feasible to load the entire operating system into a ramdisk, in which case the speed of the OS-card, be it a microSD card inside the device, would be entirely irrelevant, and the ramdisk read/write speeds would be far faster than...