On Thu, 2015-10-08 at 12:54 +0200, Arnd Bergmann wrote:

I think lists like this in drivers should be avoided if at all
possible,
it just leads to other people adding their platform in the lists as
opposed to fixing their boot loaders.

Instructions on fixing UEFI firmwares without the sources welcome.