Ok, another thing I want to try is booting from a SPI flash. I can get something that has enough room for uboot (or maybe a tiny linux like coreboot?). The default for chip select is `ECSPIx_SS0`. We need to use `ECSPI-3` because it's the only one not involved in EPDC.