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