Add patch to fix build with gcc14 and musl. Use xen-init-dom0 to properly initialize the default cpupool.