On Thu, 2020-03-26 at 14:44 +0100, Nicolas Saenz Julienne wrote:
> This regulator is now used to control the SD card's power supply on the
> Raspberry Pi 4.
> 
> Suggested-by: Stefan Wahren <stefan.wahren@i2se.com>
> Signed-off-by: Nicolas Saenz Julienne <nsaenzjulienne@suse.de>

Applied for-next.

Regards,
Nicolas