@sschueller, I had to disconnect and connect again every time I booted, but when doing so, I was always able to boot all right. Apparently both the internal storage and the SD card are seen, so it's just a matter of selection.