[Bug 904422] After upgrade to 13.2, GRUB says 13.1