alpha: make pte_alloc_one_kernel() inline