sd8887-mrvl repo gone

Hi Paul,
I’d like ask if you managed to follow my collegue’s suggestion to set up CONFIG_PWRSEQ_SD8787=y in your kernel config. You mention you did not have that set.
You do need some extra instructions regarding that?