Builds for Staging PPA for gnu-efi

Package:
No 'Needs building' build records.