Adjust kern.bootfile to make savecore(8) work.