I guess because it's a risc-v hypervisor and the author expects you to run it on an x86 machine.