is_hyp_nvhe
#define el2_reset_needed() (is_hyp_nvhe())
if (is_hyp_nvhe()) {
restart(is_hyp_nvhe(), kimage->start, kimage->arch.dtb_mem,
if (is_hyp_nvhe())