Following conversations with Andi, we've agreed that the best way to fixthe currently broken voyager port is to do a local fix converting it toSMP operations, and then fix the invalid conversions in generic x86 byre abstracting the operations so they (and several other functions) canbe shared between x86.

/* set up the trampoline and return the physical address of the code */@@ -459,7 +483,7 @@ start_secondary(void *unused) /* external functions not defined in the headers */ extern void calibrate_delay(void);