Symbol: kvmppc_hpte_base_page_shift