Added files for the CHERI + FreeBSD combo, not working yet