I have installed arch linux manually
was that painful
On the netboot I have it was. The thing had a 64 bit cpu, but it had 32 bit UEFI. It also only had 2 gigs of ram