bbfdfd22d0
release and turn off kernel debugging. Also turn off SMP on i386 and amd64 and add an SMP kernel config. Approved by: re (implicit)