Re: [U-Boot] ARMv7 / RK3288 Hypervisor Support