this is between you and Charles. If the agreements is that xen is fine on 32bit, I have no objections :)