Hello,
in order to start the discussion and the project, what about the patch in [1] ? It's marked RFC as there are a few debatable points. And it can be enhanced (building the efi firmwares, etc.) [1] http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40579 -- Vincent Legoll
