I tried booting from an SDXC, but that doesn’t seem to work. With a normal SD card, everything works fine.