[arch-releng] Linux-3.3 now hits [core], enable or not EFI on ISOs?

[Gerardo Exequiel Pozzi]

Hello

I want to get a "yes" or "no" about pushing my EFI patch [#1] in archiso 
that enables EFI CD-ROM booting via "El Torito" method. At least from 
Thomas or Dieter, since I did not get feedback from other people than 
Keshav P R (Thanks you).

Just for remember this patch just increses the size of all x86_64 isos 
in 20MiB.

[#1] 
https://github.com/djgera/archiso/commit/e3531ebd91b458c02dbfc5a2225a8c5397ce17e9

Thanks.

-- 
Gerardo Exequiel Pozzi
\cos^2\alpha + \sin^2\alpha = 1