[BUG] cppcheck results for efi_tcg2.c