kern/88831: nextboot.conf not deleted

[João]

>Number:         88831
>Category:       kern
>Synopsis:       nextboot.conf not deleted
>Confidential:   no
>Severity:       critical
>Priority:       high
>Responsible:    freebsd-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Fri Nov 11 09:20:22 GMT 2005
>Closed-Date:
>Last-Modified:
>Originator:     João
>Release:        6.0-R
>Organization:
Infomatik
>Environment:
FreeBSD anb.matik.com.br 6.0-RELEASE FreeBSD 6.0-RELEASE #5: Thu Nov 10 22:30:42 BRST 2005     hmm at anb.matik.com.br:/usr/src/sys/i386/compile/anb  i386

>Description:
              after reboot -k kernel the system boot the desirede kernel but nextboot.conf is not deleted and the wrong kernel is booted
>How-To-Repeat:
              reboot -k kernel 
>Fix:
              delete /boot/nextboot.conf manually after using reboot -k
>Release-Note:
>Audit-Trail:
>Unformatted: