Fixing OS_FREEBSD and updating Processor Provider