KRL_SECTION_FINGERPRINT_SHA256
case KRL_SECTION_FINGERPRINT_SHA256:
KRL_SECTION_FINGERPRINT_SHA256)) != 0 ||