#658 probls w/ kernel_picker

[David N. Lombard]

Problems with the current kernel picker:

1) On x86, would allow vmlinux to be selected, should
restrict on x86 to "x86 boot sector" file
2) Does not permit selecting an RPM to install
3) Currently only works with modular kernel, pre-4.1,
only worked with non-modular kernels.
4) Should permit forcing smp v. non-smp kernel.
5) Labeling, at least for lilo, is seriously broken.