/default/grub
and /etc/grub.d/* files or please file a bug report with
%s file attached.