Selects CHERI+FreeBSD combo