When installing uxmhf-rpi3, it seems that there is a difference between the kernel version of the base Raspbian image (4.4.34) and the lastest commit of the linux kernel (4.4.50).
This seems to be an issue if one attempts to build kernel modules in the rich guest. As initially the build/source files are not available. As
/lib/modules/$(uname -r)/build is symlinked to the source files on the build platform.
Is the best option for getting these kernel headers to download the source and rebuild them locally?