Use BSD rather than BERI hardware-software licenses for boot2/loader
Makefiles being upstreamed to FreeBSD.