I am trying to build a custom Linux kernel using Buildroot. I have to do it because I later want to use the generated kernel image and rootfs with the Jailhouse hypervisor. I am using the following kernel source downloaded from here