On Thu, 2013-04-18 at 20:55 +0100, Matt Fleming wrote: > If there are machines out there that would require us to write support, > it's probably worth doing now instead of punting. But it sounds like > there aren't any. I would expect that if there are any 32-bit UEFI systems that ship with BGRT support (and Darren makes it sound like that's a possibility), there's a realistic chance of the BGRT ending up allocated above the highmem barrier. -- Matthew Garrett | mjg59@xxxxxxxxxxxxx ��.n��������+%������w��{.n�����{����*jg��������ݢj����G�������j:+v���w�m������w�������h�����٥