I believe your question is represented in the thread: Raspbian/Ubuntu Server cannot detect JMS561 nor /dev/sd? where @setq indicated a possible future update to software.
The Penta SATA HAT is a PCIE device, rather than a USB3.0 device, so the controller is actually seen and the Linux driver module loaded outside of the SATA HAT service during bootup, before the hat service is loaded. That means that the rockpi software does not need to enable the controller’s on boot.
The QUAD SATA controllers are recognized when the SATA HAT software loads the first time, and sets “pin37(bcm26) sata0, pin22(bcm25) sata1”, to enable the controllers on the HAT. If you are plugging a Quad hat into the rockpi’s 40-pin connector, or powering the hat separately from the rockpi and only using the USB3, I don’t know what signals might be on those pins by default. That could leave you with one, or both controllers disabled.
When the controllers are enabled by the hat service Linux then sees the micron controllers through udev and recognizes the devices behind them if the udev rules have been setup right. There are other threads about that and possible rules changes changes in the past.
.