XXXX pass in cpu_pause_func via pause_cpus

@@ -61,11 +61,10 @@
 extern void real_mode_start_cpu_end(void);
 extern void real_mode_stop_cpu_stage1(void);
 extern void real_mode_stop_cpu_stage1_end(void);
 extern void real_mode_stop_cpu_stage2(void);
 extern void real_mode_stop_cpu_stage2_end(void);
-extern void *(*cpu_pause_func)(void *);
 
 void rmp_gdt_init(rm_platter_t *);
 
 /*
  * Fill up the real mode platter to make it easy for real mode code to