Don't set kern.corefile in sysctl.conf. It's set in create_system_datasets.py