Alternatively, there's already a grub2 update in the queue anyway, so it may be simplest to get that validated and out - it'll be a much smaller download than the kernel.
Alternatively, there's already a grub2 update in the queue anyway, so it may be simplest to get that validated and out - it'll be a much smaller download than the kernel.