I need to use PetaLinux 2016.4, because the version of Dropbear (ssh server) it includes has a security fix that my system administrators want me to have. However, I can't find a board support package for this version (for the MicroZed 7020), and I don't know how to make a board support package. I did find a board support package for PetaLinux 2016.2, but that version also doesn't have a recent enough version of Dropbear. (I'm told I need Dropbear 2016.72 or later, and PetaLinux 2016.2 has Dropbear 2015.68.)