On Mon, 29 Oct 2018, Greg Troxel wrote:
It seems that the boot partition must be FAT32 on the uSD, to read the kernel. I'm not trying to fight that. But if it's possible to boot
FYI it's possible to boot a Raspberry Pi 3 directly from USB, no SD card required:
https://www.raspberrypi.org/documentation/hardware/raspberrypi/bootmodes/msd.md