[bitfolk] Confused XEN says 64 bit, VPS says 32