drivers: xen: Include appropriate header file in pcpu.c