I would go with a refurbished Lenovo TinyPC with a quad/hexacore and some 16 GB RAM. These used to go for 200-300 EUR, but this might have changed recently. I run an AMD Fujitsu thin client as my opnsense firewall.