update grub config to workaround known issue