[issue #0000003] Cisco: enhanced 64-bits mode to use 32-bits counters when
the corresponding 64-bits is not available, correction on Process_IfCounter