4ebc0a4f71dd7a3eaf700966b3f7b5ff221f7493
fix compile issues; handle new kernel naming scheme in install-grub script; make install-grub script slightly smarter (though still not very smart)
Description
No description provided
Languages
Shell
100%