The port has information to create a SD card for the Starfive vf2. Is there some documentation on how to use this SD card to make a FreeBSD install.