Coverity report for EFI subsystem