Raspberry Pi USB booting code, moved from tools repository - raspberrypi/usbboot