Symbol: kvmppc_core_start_stolen