Hi,
Installing libssl-dev has indeed solve the kernel build issue.
sudo apt-get update
sudo apt-get install libssl-dev openssl
However, colibri-vf doesn’t seems to be supported by BSP7 according to this post ( How likely to support VF50 in BSP7? - #4 by henrique.tx ).
Regards