Bug#815126: Boot failure with Debian linux 4.4.2 package

[Arash Zeini]

Thanks for looking into this, Ben.

The affected system uses the UEFI boot protocol and boots successfully, if
I use the "efi=noruntime" parameter.