would fixing this also fix the bug where installing a new kernel changes the default boot OS even when the default is non Linux?<br>