EFX_SNICBUNDLE_HEADER_LEN
if (check_add_overflow(header_offset, EFX_SNICBUNDLE_HEADER_LEN,
if (header_len != EFX_SNICBUNDLE_HEADER_LEN)