EFX_REFLASH_HEADER_LENGTH_OFST
if (check_add_overflow(header_offset, EFX_REFLASH_HEADER_LENGTH_OFST +
header_len = get_unaligned_le32(header + EFX_REFLASH_HEADER_LENGTH_OFST);