Hi Matt, On 20/12/16 11:39, Matt Fleming wrote: > James, could you take care of fixing this up? You need to cast > memory_map to unsigned long before u64 on ARM. Yes, sure - sorry I didn't spot this. It turns out my ARM config didn't build the EFI stub. Oops. Fixup patch incoming, Thanks, James -- 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