ICL_PWR_WELL_CTL_AUX2
uint32 value = read32(ICL_PWR_WELL_CTL_AUX2);
write32(ICL_PWR_WELL_CTL_AUX2, value | HSW_PWR_WELL_CTL_REQ(0));
if (!wait_for_set(ICL_PWR_WELL_CTL_AUX2, HSW_PWR_WELL_CTL_STATE(0), 1000))