I've had good success using a Rock Pi 4C as an alternative to the Raspberry Pi. Similiar form-factor and GPIO pinout, with mainline Linux support. Seemed to be

I've had good success using a Rock Pi 4C as an alternative to the Raspberry Pi. Similiar form-factor and GPIO pinout, with mainline Linux support. Seemed to be plenty in stock when I bought mine. Good luck!