Are there any server providers that are running something else than x86 or ARM machines these days? I'd love to have an other arch server at my disposal.