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