Just anounced! ROCK PI SATA HAT for Raspberry Pi 4 and of course for Rock Pi 4 - read more here ->
Continue to use your old Lenovo power supply to provide USB-C power.