Whatever was cheapest at the time I assume.
Given that it says "Card" and not drive. I am going to guess they have just put an SD flash card in the reader.
The OS will still be on the 64GB eMMC flash, which is basically a USB flash drive soldered to the motherboard.