I'm wondering if there also could be an entry in /etc/default/grub.d which overwrites it similar as in this thread
or sometimes user write that they use rEFInd as boot menu instead of grub and perhaps then a change of grub file wouldn't take effect (but you wtote that you choose the kernel in grub)?