Has anyone tried using KVM with the Juno board? It doesn't look like the bootloader starts the cores in hypervisor mode, so it's not clear to me whether the current system software will support a hypervisor at the moment, even with the appropriate kernel options selected. Are there any plans to support it?