DIY: 10$ Raspberry Pi 4 alternative Samsung A5 with Alpine Linux PostmarketOS SSH docker pinephone