[PATCH] xen: x86_64: use more usermode macro