A more practical approach : what should the average user do in order to get his/her Debian back after this GRUB bug?