Bug#913576: Update

[bkw+1542031175 at 70mpg.org]

Hi Mattia,

Unfortunately, I haven't heard anything from the Debian developers 
regarding this error.  However, this morning, with adequate time and 
careful preparation, I decided to perform a reboot on this server.  I'm 
very happy to report that the server booted successfully.  So, it 
appears that the generated EFI images functioned successfully.

I don't know what this means, for the error I encountered which led to 
me reporting this bug.  But it appears that the error was either a false 
alarm, or it was not a critical error.

Regardless, a reboot was successful.

Thanks.