I was just wondering, is there a wallet for the raspberry pi? I saw a Linux bootstrap what is that for??