9e367360e3
Specifically, update the return type of xenpic_assign_cpu() so that this file compiles again. Approved by: re (kib)