where did you get 64-bit version of Raspbian? I am just curious. Haven't found anything

Does your kernel support KVM? I am not sure if it is correct to ask this, I think I would need this instead: https://git.kernel.org/cgit/linux/kerne ... vmarm.git/ . Do you think I can compile this kernel with your bcmrpi3_defconfig?