On the GRUB bug preventing a reboot

@pilou noticed a bug that could impact the Enough hosts. It is documented here:

A security update of GRUB will happen on all Enough hosts in the next 48h. They are all based on Debian GNU/Linux buster and I have verified that they are not impacted by the bug.