Who knew that reading man pages can be useful? Found out that you can do the following in rc.conf to generate an EUI64 v6 address on a FreeBSD host with static addresses (no SLAAC):
ifconfig_re0_alias0="inet6 2001:db8:: eui64 prefixlen 64"
It will then generate the last 64 bits of the IPv6 address from the MAC address, e.g.:
inet6 2001:db8::921b:eff:fef9:da26 prefixlen 64
Don't know if I will ever need this, but interesting nonetheless.