Devices/EFI: Update EFI firmware binaries to the latest changes made in trunk so others can test it without building their own set of firmware images, bugref:9580 and bugref:10075
Changeset view not shown, since the total size (16.0 MB) exceeds 9.5 MB