Fix issue where SD voltage was not reset by power cycling PMIC on reboot. See https://github.com/raspberrypi/firmware/issues/1763