Hi Ian, I get essentially the same messages on my Gigabyte MP30-AR1, which also has an American Megatrends arm64 UEFI implementation. It doesn't seem to cause any real problems as far as I can tell. I'd be interested to hear if anyone upstream comments; could you please Cc: me or the debian-arm list? Thanks, Phil.