CHERI board definition, FreeBSD + CHERI target definition