- based on 100% libre software and libre-friendly hardware with Libreboot, including our front- and back-ends
So if you're limited to Libreboot, the last set of Intel processors you can support came out in, what? 2009? 2010? Cross referencing the list of "supported" systems[0] with some general googling for their release dates[1], 2010 seems to be it, unless their data center is gonna run on a rack of Macbook 2's and Chromebook C201's.
Either way, it's hardly "state of the art" hardware by any stretch. Maybe they'll go with some custom RISC processors?
[0]https://en.wikipedia.org/wiki/Libreboot#Supported_systems
[1]https://www.techpowerup.com/119540/asus-releases-kgpe-d16-so...