Backport a fix to setting kern.bootfile manually