xen: fix for the last avx changes

sys/src/9/xen/fns.h

@@ -9,7 +9,8 @@ void	clockintr(Ureg*, void*);
 int		(*cmpswap)(long*, long, long);
 int		cmpswap486(long*, long, long);
 void	(*coherence)(void);
-void	cpuid(int, ulong regs[]);
+void	cpuid(int, int, ulong regs[]);
+void	fpuinit(void);
 int		cpuidentify(void);
 void	cpuidprint(void);
 void	(*cycles)(uvlong*);

sys/src/9/xen/mkfile

@@ -68,6 +68,7 @@ OBJ=\
 	plan9l.$O\
 	xen.$O\
 	main.$O\
+	fpu.$O\
 	mmu.$O\
 	random.$O\
 	rdb.$O\