It seems that many options are available, but SPI and NAND flash boot isn't supported (yet?): https://www.raspberrypi.org/documentation/computers/raspberr...