The number of people with faster than 1G internet is extremely small.
Business customers who have >1G commercial connections are not in the market for using ODROID boards for their routing needs.
2.5G is perfect for hobbyist use because it is significantly cheaper than anything 10G at the moment, while being faster than common 1G.
If you need 10G switching, get a 10G switch.