Raspberry Pi USB booting code, moved from tools repository - View it on GitHub