xen: clean up asm/xen/hypervisor.h