brought back detect_boot()

someone things that not shipping vmilinuz files
is a good idea (it's not like they are big!) thus
usually, on first customization, kernel image
package must be re-installed.