Du kannst den von Linuxmuster nehmen, ein eigener laesst sich auf dem BBB-Server nicht betreiben, da Port 443 schon belegt ist.
Ich glaube allerdings, dass der nur vor boesen Firewalls zuhause schuetzt und nicht wenn Euer NAT da nicht alles durchreicht.