[Bug 851710] upgrade from 12.3 -> 13.1 -- grub still shows 12.3