Among other things, OVMF UEFI firmware is now provided here.
Some of the RedHat-specific patches have been dropped in the process,
a few cleanups were also made.
Plus, I have disabled building of ARM firmware images for now: looks
like it needs more support from GCC than we currently have.
