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

Thanks. Good use of a turtle. (Turtles all the way down)