4.01.0beta1+mirage-kfreebsd: Update configuration