x86: change naming of cpu_initialized_mask for xen