XCHAL_HW_CONFIGID0
if (xtensa_get_sr(SREG_EPC) != XCHAL_HW_CONFIGID0 ||
XCHAL_HW_CONFIGID0, XCHAL_HW_CONFIGID1);