On my X1, it's impossible to boot from the SD card reader and only the official ($$$) USB Ethernet adapter will allow PXE-boot.