In case anyone wants to know the (non-coreboot) libre firmware TALOS 2 single CPU/board combo is now only 2.5K. I still can't figure out how they managed to make it so affordable, this is seriously great.