Nice workaround 😊
I am only using this image. My NAS is running since months with an PCIe SATA Card JMS585.
Two Raid 1 and an SSD for system.
https://forum.frank-mankel.org/topic/789/rockpro64-pcie-sata-karte-mit-jmicron-jms585-chip/13
Mit den 0.7.x Versionen hat Kamil einen neuen Boot Prozeß eingeführt.
LATEST_UBOOT_VERSION=2017.09-rockchip-ayufan-1009-g501b20dc14
Paar Info's:
https://github.com/ayufan-rock64/linux-build/blob/master/recipes/extlinux.md
So weit ich die Diskussion richtig verstanden habe, hat das folgende Vorteile.
Man könnte damit dann, z.B. sehr einfach zwischen einer 4.4 Installation und einer 4.18 wechseln. Auf dem ROCKPro64 soll auch eine HDMI-Ausgabe möglich sein, sehr schön für Einsteiger. Würde für die meisten das herum hampeln mit dem UART2-Adapter ersparen.