Make the kernel capable to run on different virtual machines. For now it only run on the virt of qemu-system-riscv32.