Boot von externer HDD Raspberry Pi 1 2