[x86] move kernel config symbols from the Xen subtarget to the platform config