FYI, Jeff Geerling covers the use of USB and PCIe booting for Raspberry Pis in great detail on his blog (; for example - ) and on YouTube ().
