On 10/26/2015 09:20 PM, Ard Biesheuvel wrote:
Thanks for the report. The following patch should fix it
Ard, Thanks, it does fix the build problem... Now to get the darn thing to boot (not related to this AFAIK). -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html