[openfirmware] Xen domU support: first steps