Make ipfix_id_lookup() faster by using array idx