How to boot from a USB mass storage device on a Raspberry Pi