x86: add missing symbol to xen_domu