Booting Raspberry Pi 3 from the SD card