Add BERI/CHERI to list of CPUs supported by FreeBSD/MIPS.

Submitted by:	rwatson