AArch64 server donation

[Joakim]

On Thursday, 11 January 2018 at 04:01:40 UTC, Laeeth Isharc wrote:
> On Saturday, 23 December 2017 at 09:53:51 UTC, Joakim wrote:
>> [...]
>
> Let me know if this doesn't work out - I can pay for a couple 
> of ARM servers if it helps.

Too late for me, I'll be getting access to some 64-bit Android 
devices again in a couple days.

David, any plans to apply for a 64-bit ARM server from Packet?  
Even though I don't need it anymore, it might make a useful CI 
box.