POR_EL0_CUSTOM
set_por_el0(POR_EL0_CUSTOM);
if (por_el0 == POR_EL0_CUSTOM) {
POR_EL0_CUSTOM, por_el0);