nach Installation von xubuntu 17.10 gab es mit kernek 4.0.13-16 Probleme mit intel Grafik (945GM). Diesen bug konnte man mit einem grub-Eintag zum grfxpayload ausschalten konnte.
Nun wurde kernel 4.0.13-17 ausgeliefert. Das System funktioniert immer noch, wenn ich aber beim Start in den Grubeditor schaue, ist das grfxpayload verschwunden, während die grub.cfg unverändert ist.
Meine Frage ist, ob ein reguläres kernel-update die Bootoptionen editiert. Falls ja, wie wird dann die grub.config aktualisiert? Wenn diese unverändert bliebe, würden beim nächsten update-grub doch die überholten Einstellungen wiederhergestellt werden - oder denke ich fehl?