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