camkes-vm-linux solution, out-of-the-box: module "poke" is not loading

[malus-brandywine]

In out-of-the-box camkes-vm-linux solution, "poke" module is not loading because of vermagic mismatch between the pre-built kernel and the module.

insmod /lib/modules/4.8.16/kernel/drivers/vmm/poke.ko
[ 30.023396] poke: version magic '4.8.16 SMP mod_unload 686 ' should be '4.8.16 mod_unload 686 '

The fast solution (until the issue has been solved) is to use config.backup-singlecore to build the module. To do it one needs just replace

set(linux_config "${CAMKES_VM_LINUX_DIR}/linux_configs/${linux_major}.${linux_minor}/32/config")

with

set(linux_config "${CAMKES_VM_LINUX_DIR}/linux_configs/${linux_major}.${linux_minor}/32/config.backup-singlecore")

in file CMakeList.txt (directory camkes-vm-linuxyyy).

All I can do is just report this. Its up to maintainers to either re-build the kernel or patch the tutorial.md, because I don't know reasoning behind keeping 2 configs and pre-built non-SMP kernel image.

Thanks!