Will there be something similar for the Rock Pi 4? Important for me is to multiboot different operating systems.