True; it just proves that I can't boot. But in the absence of any other boot device _and_ the fact that changing the SD card against the manufacturer-provided SD card in the same slot makes the system boot I would think the that system would have _tried_ to boot from it. Obviously that didn't work.