would fixing this also fix the bug where installing a new kernel changes the default boot OS even when the default is non Linux? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.fedoraproject.org/pipermail/devel/attachments/20120620/6a5e9929/attachment.html>