efi_get_forbidden_certs
xcs = efi_get_forbidden_certs(&num);
br_x509_certificate* efi_get_forbidden_certs(size_t *count);