Symbol: kvmppc_slb_sid_shift