# CONFIG_PWRSEQ_SD8787 is not set